![Semantics-Directed Compiler Generation [electronic resource] : Proceedings of a Workshop Aarhus, Denmark, January 1980 /](/search/themes/bootstrap3/images/libros.png)
Semantics-Directed Compiler Generation [electronic resource] : Proceedings of a Workshop Aarhus, Denmark, January 1980 /
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.
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1980
|
| Subjects: | Computer science., Programming languages (Electronic computers)., Computer Science., Programming Languages, Compilers, Interpreters., |
| Online Access: | http://dx.doi.org/10.1007/3-540-10250-7 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|