SAL Home PROGRAM Languages & Compilers


ADL (Assertion Definition Language) is a specification language for programming interfaces. It can be used to describe the programmer's interface to any C-callable function, library or system call.

An ADL specification is not just a paper document. It can be compiled by ADLT (the ADL translator). ADLT generates:

  • Header files, that can be used in an implementation
  • Test programs, that ensure that any implementation meets the specification
  • Natural-language documentation, derived directly from the specification

Current Version:   2.0

License Type:   Free

Home Site:

Source Code Availability:   Yes

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   Yes (tar.Z)

Targeted Platforms:

Solaris, Linux, SunOS

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.