Semantics-Directed Compiler Generation
Springer Berlin (Verlag)
978-3-540-10250-2 (ISBN)
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.
| Erscheint lt. Verlag | 1.9.1980 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | V, 490 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 694 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | Compiler • Generation • Semantics • Semantik • Turing • Übersetzer (EDV) |
| ISBN-10 | 3-540-10250-7 / 3540102507 |
| ISBN-13 | 978-3-540-10250-2 / 9783540102502 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
