| AIDA | ⊕ 1980 | ⊕ Germany | intermediate representation language for Ada | ||
| ARES | ⊕ 1980 | ⊕ Japan | |||
| BMAC | ⊕ 1980 | ⊕ United States | |||
| CCS | ⊕ 1980 | ⊕ United Kingdom | Calculus of Communicating Systems | ||
| CHAMIL | ⊕ 1980 | ⊕ United States | |||
| Charrette Ada | ⊕ 1980 | ⊕ France | Early Ada subset | ||
| CLP | ⊕ 1980 | ⊕ United States | Constraint Logic Programming. | ||
| GPL | ⊕ 1980 | ⊕ United States | Honeywell Programming Language | ||
| IDEAL | ⊕ 1980 | ⊕ United States | |||
| LEM | ⊕ 1980 | ⊕ France | |||
| LFP | ⊕ 1980 | ⊕ United States | |||
| LTR | ⊕ 1980 | ⊕ France | Langage Temps-Réel - ProtoAda | ||
| MARBLE | ⊕ 1980 | ||||
| MELD | ⊕ 1980 | ⊕ United States | |||
| Micro SPL | ⊕ 1980 | ⊕ United States | |||
| MORAL | ⊕ 1980 | Systems design language | |||
| Nano | ⊕ 1980 | ⊕ Japan | |||
| PIL | ⊕ 1980 | ⊕ United States | Pascal Instructional Language - CAI Language | ||
| POOL | ⊕ 1980 | ⊕ Netherlands | Parallel Object-Oriented Language | ||
| RLL | ⊕ 1980 | ⊕ United States | |||
| SDL | ⊕ 1980 | ⊕ United States | String Definition Language | ||
| SIMPAS | ⊕ 1980 | ⊕ Event scheduling | ⊕ United States | ||
| SIMPLE | ⊕ 1980 | ||||
| Siprol | ⊕ 1980 | ||||
| TCOL Ada | ⊕ 1980 | ⊕ United States | |||
| TMDL | ⊕ 1980 | ||||
| XCY | ⊕ 1980 | ⊕ China |