Semantics-Directed Compiler Generation [electronic resource] : Proceedings of a Workshop Aarhus, Denmark, January 1980 / edited by Neil D. Jones.
Material type: TextSeries: Lecture Notes in Computer Science ; 94Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Description: V, 490 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540383390Subject(s): Computer science | Computer Science | Programming Languages, Compilers, InterpretersAdditional physical formats: Printed edition:: No titleDDC classification: 005.13 LOC classification: QA76.7-76.73QA76.76.C65Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK4469 |
Transforming denotational semantics into practical attribute grammars -- Compiler generation from denotational semantics -- From standard to implementation denotational semantics -- Specification of compilers as abstract data type representations -- More on advice on structuring compilers and proving them correct -- A constructive approach to compiler correctness -- Using category theory to design implicit conversions and generic operators -- On defining semantics by means of extended attribute grammars -- Tree-affix dendrogrammars for languages and compilers -- An implementation of affix grammars -- Experiences with the compiler writing system HLP -- Rule splitting and attribute-directed parsing -- Attribute-influenced LR parsing -- On the definition of an attribute grammar -- State transition machines for lambda-calculus expressions -- Semantic definitions in REFAL and automatic production of compilers -- On the formal definition of ADA.
There are no comments on this title.