2OBJ | 1995 | United Kingdom | Meta-logical framework theorem prover | ||
Aldor | 1995 | Non-numerical Scientific | United Kingdom | ||
Brisk | 1995 | United Kingdom | |||
CAMAS | 1995 | United Kingdom | |||
cProgol | 1995 | Specialised Languages | United Kingdom | ||
ECLIPSE | 1995 | United Kingdom | |||
Escher | 1995 | United Kingdom | |||
GCL | 1995 | United Kingdom | Genie Control Language | ||
ISETL-Linda | 1995 | Set | United Kingdom | parallel language |