Format:
Online-Ressource (IV, 489 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540383390
Series Statement:
Lecture notes in computer science 94
Content:
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.
Note:
Literaturangaben
Additional Edition:
ISBN 3540102507
Additional Edition:
ISBN 0387102507
Additional Edition:
ISBN 9783540102502
Additional Edition:
Erscheint auch als Druck-Ausgabe Semantics-directed compiler generation Berlin : Springer, 1980 ISBN 3540102507
Additional Edition:
ISBN 0387102507
Language:
English
Subjects:
Computer Science
Keywords:
Compiler
;
Compiler
;
Compiler
;
Semantik
;
Compiler
;
Programmiersprache
;
Semantik
;
Konferenzschrift
DOI:
10.1007/3-540-10250-7
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
