ASpecT ASpecT is a strict functional language originally intended as an attempt to provide an implementation for (a subset of) Algebraic Specifications of Abstract Datatypes. The system was designed to be as user-friendly as possible, including overloading facilities and a source-level debugger. Efficiency called for call-by-value evaluation and reference counting memory management. Over the years more and more features were added, including subsorting, functionals and restricted polymorphism. The ASpecT compiler translates the functional source code to C, resulting in fast and efficient binaries. The most important application of ASpecT to date is the interactive graph visualization system daVinci.

Current Version:   ?? License Type:   Free

Home Site: ftp://ftp.Uni-Bremen.DE/pub/programming/languages/ASpecT/ Source Code Availability:   ?? Available Binary Packages: Debian Package:   No RedHat RPM Package:   No Other Packages:   ?? Targeted Platforms: Sun3, Sun4, Dec VAX, IBM RS6000, NeXT, Apple A/UX, PC (OS/2, Linux), Amiga and Atari ST/TT. Software/Hardware Requirements: None

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers