ADL 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: http://www.smli.com/research/adl/ http://www.smli.com/research/adl/ADLtrans.html 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: None

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

  SAL Home   |   Programming   |   Languages & Compilers