|
" Semantics-directed compiler generation : "
ed. by Neil D. Jones.
Document Type
|
:
|
BL
|
Record Number
|
:
|
720463
|
Doc. No
|
:
|
b540158
|
Main Entry
|
:
|
ed. by Neil D. Jones.
|
Title & Author
|
:
|
Semantics-directed compiler generation : : proceedings of a workshop ; Aarhus, Denmark, January 14-18, 1980\ ed. by Neil D. Jones.
|
Publication Statement
|
:
|
Berlin: Springer, 1980
|
Series Statement
|
:
|
Lecture notes in computer science, 94.
|
Page. NO
|
:
|
IV, 489 Seiten
|
ISBN
|
:
|
0387102507
|
|
:
|
: 3540102507
|
|
:
|
: 9780387102504
|
|
:
|
: 9783540102502
|
Contents
|
:
|
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.
|
Subject
|
:
|
Compiler.
|
Subject
|
:
|
Programmiersprache.
|
Subject
|
:
|
Semantik.
|
Added Entry
|
:
|
Neil D Jones
|
| |