The LDL - Language Development Laboratory

LDL is a system supporting the design of procedural programming languages and generating interpreters for prototyping purposes. Moreover, test sets for testing interpreters/compilers of the developed language can be generated. LDL is based on GSFs — a kind of attribute grammars — and uses the denotational approach for semantics definition. For the prototype interpreter its correctness can be proved.

[1]  David A. Watt,et al.  Executable semantic descriptions , 1986, Softw. Pract. Exp..

[2]  Barrett R. Bryant,et al.  Rapid prototyping of programming language semantics using Prolog , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[3]  James W. Thatcher,et al.  More on advice on structuring compilers and proving them correct , 1980, Semantics-Directed Compiler Generation.

[4]  Richard Denney.  Test-case generation from Prolog-based specifications , 1991, IEEE Software.

[5]  Peter Lee.  Realistic compiler generation , 1989, Foundations of Computing Series.

[6]  Henk Alblas,et al.  Attribute Grammars, Applications and Systems , 1991, Lecture Notes in Computer Science.

[7]  Kai Koskimies.  Object-Orientation in Attribute Grammars , 1991, Attribute Grammars, Applications and Systems.

[8]  Neil D. Jones.  Semantics-Directed Compiler Generation , 1980, Lecture Notes in Computer Science.

[9]  Mikhail Auguston.  FORMAN-Program formal annotation language , 1991, [1991] Proceedings the Fifth Israel Conference on Computer Systems and Software Engineering.

[10]  Günter Riedewald.  Prototyping by Using an Attribute Grammar as a Logic Program , 1991, Attribute Grammars, Applications and Systems.

[11]  Bijan Arbab.  Compiling Circular Attribute Grammars Into Prolog , 1986, IBM J. Res. Dev..