Skip to main content
SpringerLink
Log in

Prototyping by using an attribute grammar as a logic program

  • Conference paper
  • First Online:
Attribute Grammars, Applications and Systems (SAGA School 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 545))

Abstract

The problem of prototyping software and languages by attribute grammars is considered. The applied attribute grammars — Grammars of Syntactical Functions (GSF) — are very closely related to logical programs. Therefore, prototyping exploiting PROLOG systems is suggested.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arbab, B.: Compiling Circular Attribute Grammars into PROLOG IBM Journal of Research and Development, Vol.30, Nr.3, May 1986, 294–309

    Google Scholar 

  2. Courcelle, B., P. Deransart: Proofs of Partial Correctness for Attribute Grammars and Recursive Procedures Rapports de Recherche No 322, INRIA, Juillet 1984

    Google Scholar 

  3. Dittmar, A.: Ein System zur LR(1)-Analyse Bericht zum Berufspraktikum, Universität Rostock, Fachbereich Informatik, 1991

    Google Scholar 

  4. Deransart, P., B. Lorho, J., Małuszyński (Eds.): Programming Languages Implementation and Logic Programming Proceedings of the International Workshop PLILP '88, Orléans, France, May 1988, LNCS 348, Springer-Verlag

    Google Scholar 

  5. Deransart, P., Małuszyński (Eds.): A Grammatical View of Logic Programming in [DLM 89], 219–251

    Google Scholar 

  6. Forbrig, P.: Softwarespezifikation und attributierte Grammatiken Vorträge des Problemseminars “Attributierte Grammatiken und ihre Anwendungen”, Pruchten 15.10.19.10.84, W.-Pieck-Universität Rostock, Sektion Informatik, 1984, 23–39

    Google Scholar 

  7. Forbrig, P., U.Lämmel: Prototyping in Compiler Construction in: Překladače programovacích jazyk⫲, Sborník přednášek, Praha 1990, ČSVTS-FEL-ČVUT, 174–190

    Google Scholar 

  8. Jazayeri, M.: Formal Specification and Automatic Programming 2nd Int. Conference on Software Engineering, San Francisco, October 1976, 293–296

    Google Scholar 

  9. Knuth, D.E.: Semantics of Context-Free Languages Math. Systems Theory 2 (1968), 127–145

    Article  Google Scholar 

  10. Lämmel, U.: Executing Attribute Grammars in PROLOG Universität Rostock, Fachbereich Informatik, Bericht WPU-PS-Nr. 31 (1990)

    Google Scholar 

  11. Małuszyński, J.: Attribute Grammars and Logic Programs: A Comparison of Concepts In this volume

    Google Scholar 

  12. Nilsson, U.: AID: An Alternative Implementation of DCGs New Generation Computing, 4 (1986), 383–399

    Google Scholar 

  13. Rechenberg, P., Mössenbeck: Ein Computer-Generator für Mikrocomputer Hanser-Verlag, München 1988

    Google Scholar 

  14. Riedewald, G.: Syntaktische Analyse von ALGOL68-Programmen Dissertation A, Universität Rostock, Sektion Mathematik, 1972

    Google Scholar 

  15. Riedewald, G.: Compilerkonstruktion und Grammatiken syntaktischer Funktionen Dissertation B, Rechenzentrum der Universität Rostock, 1979

    Google Scholar 

  16. Riedewald, G.: Attribute Grammars and PROLOG in: Překladače programovacích jazyků, Sborník přednášek, Praha 1990, ČSVTS-FEL-ČVUT, 157–173

    Google Scholar 

  17. Rechenberg, P.: Attributierte Grammatiken als Methode der Softwaretechnik El. Rechenanlagen, 26(3), 1984

    Google Scholar 

  18. Riedewald, G., U.Lämmel: Using an Attribute Grammar as a Logic Program in: [DLM 89], 161–179

    Google Scholar 

  19. Simon, E.: A New Programming Methodology Using Attribute Grammars Acta Cybernetica, Tom. 7, Fasc. 4, Szeged, 1986, 425–436

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität Rostock, A.-Einstein-Str.21, O-2500, Rostock, Germany

    Günter Riedewald

Authors
  1. Günter Riedewald
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Henk Alblas Bořivoj Melichar

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Riedewald, G. (1991). Prototyping by using an attribute grammar as a logic program. In: Alblas, H., Melichar, B. (eds) Attribute Grammars, Applications and Systems. SAGA School 1991. Lecture Notes in Computer Science, vol 545. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54572-7_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-54572-7_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54572-9

  • Online ISBN: 978-3-540-38490-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation