LDL 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: http://www.informatik.uni-rostock.de/FB/Praktik/psuet/ldl/ 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: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers