SAL Home PROGRAM Languages & Compilers


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:

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:


Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.