Attribute Grammar Applications in Prototyping LOTOS Tools

Peter van Eijk

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    42 Downloads (Pure)

    Abstract

    What is the practical applicability of attribute grammars? As we show in this paper, attribute grammars are at least good enough for the prototyping of fully functional interactive tools. Going from a definition of a language and the functionality of its tools to an attribute grammar is a discipline in need of a systematic approach, for which we give some initial material. As is inevitable when a system is extensively used (in our case the Cornell Synthesizer Generator), this paper also proposes extensions to the attribute grammar formalism and its supporting systems.
    Original languageEnglish
    Title of host publicationAttribute Grammars and their Applications
    Subtitle of host publicationInternational Conference WAGA Paris, France, September 19–21, 1990 Proceedings
    EditorsP. Deransart, M. Jourdan
    PublisherSpringer
    Pages91-100
    Number of pages10
    ISBN (Electronic)978-3-540-46666-6
    ISBN (Print)978-3-540-53101-2
    DOIs
    Publication statusPublished - 1 Sep 1990
    EventInternational Workshop on Attribute Grammars and their Applications, WAGA 1990 - Paris, France
    Duration: 19 Sep 199021 Sep 1990

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume461
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    ConferenceInternational Workshop on Attribute Grammars and their Applications, WAGA 1990
    Abbreviated titleWAGA
    CountryFrance
    CityParis
    Period19/09/9021/09/90

      Fingerprint

    Keywords

    • METIS-119461
    • Abstract syntax
    • Static semantic
    • Proof assistant
    • Concrete syntax
    • Dynamic semantics

    Cite this

    van Eijk, P. (1990). Attribute Grammar Applications in Prototyping LOTOS Tools. In P. Deransart, & M. Jourdan (Eds.), Attribute Grammars and their Applications: International Conference WAGA Paris, France, September 19–21, 1990 Proceedings (pp. 91-100). (Lecture Notes in Computer Science; Vol. 461). Springer. https://doi.org/10.1007/3-540-53101-7_7