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 |