| Ada' | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ United States | Verifiable subset of Ada | |
| ALLOY | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ United States | Multiparadigm massively parallel language | |
| Fortran Extended | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ International | Interim name for Fortran 90 | |
| IP Pascal | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ Pascals | ⊕ United States | Pascal with modern language features |
| LPI-Pascal | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ Pascals | ⊕ United States | |
| Occam 2.1 | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ United Kingdom | Improved Occam 2 | |
| Pascal-FC | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ Pascals | ⊕ United Kingdom | |
| Seneca | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ Switzerland | ||
| SISAL 90 | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ United States | A SISAL extension with higher order functions, polymorphism | |
| SPARK | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ United Kingdom | Provable Ada |