ASpecT

(language)   Algebraic specification of abstract data types. A strict functional language that compiles to C.

Versions of ASpecT are available for Sun, Ultrix, NeXT, Macintosh, OS/2 2.0, Linux, RS/6000, Atari, Amiga.

ftp://wowbagger.uni-bremen.de/pub/programming/languages.

Last updated: 1996-03-25


Loading