Skip to main content
SpringerLink
Log in
Book cover

Semantics-Directed Compiler Generation

Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

  • Conference proceedings
  • © 1980

Overview

Editors:
  1. Neil D. Jones
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Access this book

Log in via an institution
Softcover Book USD 37.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Transforming denotational semantics into practical attribute grammars

    • Harald Ganzinger
    Pages 1-69

  3. Compiler generation from denotational semantics

    • Neil D. Jones, David A. Schmidt
    Pages 70-93

  4. From standard to implementation denotational semantics

    • Martin Raskovsky, Phil Collier
    Pages 94-139

  5. Specification of compilers as abstract data type representations

    • M. C. Gaudel
    Pages 140-164

  6. More on advice on structuring compilers and proving them correct

    • James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Pages 165-188

  7. A constructive approach to compiler correctness

    • Peter Mosses
    Pages 189-210

  8. Using category theory to design implicit conversions and generic operators

    • John C. Reynolds
    Pages 211-258

  9. On defining semantics by means of extended attribute grammars

    • Ole Lehrmann Madsen
    Pages 259-299

  10. Tree-affix dendrogrammars for languages and compilers

    • Frank DeRemer, Richard Jullig
    Pages 300-319

  11. An implementation of affix grammars

    • Hans Meijer
    Pages 320-349

  12. Experiences with the compiler writing system HLP

    • Kari-Jouko Räihä
    Pages 350-362

  13. Rule splitting and attribute-directed parsing

    • David A. Watt
    Pages 363-392

  14. Attribute-influenced LR parsing

    • Neil D. Jones, Michael Madsen
    Pages 393-407

  15. On the definition of an attribute grammar

    • Martti Tienari
    Pages 408-414

  16. State transition machines for lambda-calculus expressions

    • David A. Schmidt
    Pages 415-440

  17. Semantic definitions in REFAL and automatic production of compilers

    • Valentin F. Turchin
    Pages 441-474

  18. On the formal definition of ADA

    • V. Donzeau-Gouge, G. Kahn, B. Lang
    Pages 475-489
Back to top

Keywords

Bibliographic Information

  • Book Title: Semantics-Directed Compiler Generation

  • Book Subtitle: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

  • Editors: Neil D. Jones

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1980

  • Softcover ISBN: 978-3-540-10250-2Published: 01 September 1980

  • eBook ISBN: 978-3-540-38339-0Published: 13 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: V, 490

  • Topics: Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation