SAL Home PROGRAM Languages & Compilers


LDL (Language Development Laboratory) is a system supporting language design, derivation of correct prototype interpreters, and test set generation. LDL language definitions are formal and executable. They are based on GSFs - a kind of attribute grammars, and recursive function definitions. Composition of building blocks of these (and some other auxiliary formalisms) is described by operations supporting concepts like refinement (e.g. substituion in the context-free sense) and interpretition.

Current Version:   3.4.7

License Type:   GPL

Home Site:

Source Code Availability:   Yes

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   No

Targeted Platforms:

Where SWI Prolog and Tcl/Tk are available. LDL works fine on Linux.

Software/Hardware Requirements:

SWI Prolog and Tcl/Tk

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.