The LDL — Language development laboratory

  • Günter Riedewald
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 641)


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. [A 86]
    Arbab,B.: Compiling circular attribute grammars into PROLOG IBM Journal of Research and Development, 30(3),1986,294–309Google Scholar
  2. [ADJ 80]
    Thatcher,J.W.,Wagner,E.G.,Wright,J.B.: More on advice on structuring compilers and proving them correct. In: [J 80],165–188Google Scholar
  3. [AM 91]
    Alblas,H.,Melichar,B. (eds.): Attribute Grammars, Applications and Systems. Proceedings of the Inter. Summer School SAGA, Prague,Czechoslowakia,June 1991,LNCS #545,Springer-VerlagGoogle Scholar
  4. [Aug 91]
    Auguston,M.: FORMAN — program formal annotation language In: Proc. of the 5th Israel Conf. on Computer Systems and Software Engineering,Gerclia,May 1991,IEEE Edition,149–154Google Scholar
  5. [BA 90]
    Bretz,M.,Abels,T.: Generierung von Programmauswertern aus denotationellen Semantikbeschreibungen. In: J. Ebert (Hrsg.), Alternative Konzepte für Sprachen und Rechner,Bad Honnef 1990, Bericht 8/90,53–64Google Scholar
  6. [BP 89]
    Bryant,B.R.,Pan,A.: Rapid prototyping of programming language semantics using PROLOG. IEEE Software, 1989,439–44Google Scholar
  7. [D 91]
    Denney,R.: Test-case generation from Prolog-based specifications IEEE Software,March 19991,49–57Google Scholar
  8. [FL 90]
    Forbrig,P.,Lämmel,U.: Prototyping in compiler construction In: Překladače programovacích jazyků, Sborník přednášekPraha, 1990,ČSVTS-FEL-ČVUT,174–190Google Scholar
  9. [J 80]
    Jones,N.D. (ed): Semantics-directed compiler generation LNCS #94,Springer-Verlag 1980Google Scholar
  10. [K 91]
    Koskimies,K.: Object-orientation in attribute grammars In: [AM 91], 297–329Google Scholar
  11. [L 89]
    Lee,P.: Realistic compiler generation. The MIT Press 1989Google Scholar
  12. [R 91]
    Riedewald,G.: Prototyping by using an attribute grammar as a logic program. In: [AM 91],297–329Google Scholar
  13. [W 86]
    Watt,D.A.: Executable semantic descriptions Software-Practice and Experience,16(1),13–43Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Günter Riedewald
    • 1
  1. 1.Fachbereich InformatikUniversität RostockRostockGermany

Personalised recommendations