Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980 [1 ed.] 3540102507, 9783540102502

254 50 3MB

English Pages 490 [494] Year 1980

Table of contents :
Transforming denotational semantics into practical attribute grammars....Pages 1-69
Compiler generation from denotational semantics....Pages 70-93
From standard to implementation denotational semantics....Pages 94-139
Specification of compilers as abstract data type representations....Pages 140-164
More on advice on structuring compilers and proving them correct....Pages 165-188
A constructive approach to compiler correctness....Pages 189-210
Using category theory to design implicit conversions and generic operators....Pages 211-258
On defining semantics by means of extended attribute grammars....Pages 259-299
Tree-affix dendrogrammars for languages and compilers....Pages 300-319
An implementation of affix grammars....Pages 320-349
Experiences with the compiler writing system HLP....Pages 350-362
Rule splitting and attribute-directed parsing....Pages 363-392
Attribute-influenced LR parsing....Pages 393-407
On the definition of an attribute grammar....Pages 408-414
State transition machines for lambda-calculus expressions....Pages 415-440
Semantic definitions in REFAL and automatic production of compilers....Pages 441-474
On the formal definition of ADA....Pages 475-489

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980 [1 ed.]
3540102507, 9783540102502

Author / Uploaded
Harald Ganzinger (auth.)
Neil D. Jones (eds.)

0 0 0
Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up

Recommend Papers

Proceedings of the 4th International Workshop on Induced Polarization, IP2016, Aarhus (Denmark), June 6-8, 2016

https://hgg.au.dk/en/past/ip2016/

348 27 17MB Read more

Algebraic Topology, Aarhus 1982: Proceedings of a Conference Held in Aarhus

357 93 2MB Read more

Realistic Compiler Generation 0262121417, 9780262121415

In this book Peter Lee provides a complete description and survey of the field of semantics based compiler generation an

368 83 1MB Read more

Algorithmic Aspects of Cloud Computing: Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers 9783319570457, 3319570455

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Algori

371 89 2MB Read more

Real-World Evidence Generation and Evaluation of Therapeutics: Proceedings of a Workshop [1 ed.] 9780309455633, 9780309455626

The volume and complexity of information about individual patients is greatly increasing with use of electronic records

113 104 1MB Read more

Algorithmic Aspects of Cloud Computing: Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers 9783319570440, 9783319570457, 3319570455

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Algori

314 48 4MB Read more

Challenges in Machine Generation of Analytic Products from Multi-Source Data: Proceedings of a Workshop [1 ed.] 9780309465748, 9780309465731

The Intelligence Community Studies Board of the National Academies of Sciences, Engineering, and Medicine convened a wor

122 96 2MB Read more

Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings 303067066X, 9783030670665

108 11 27MB Read more

ECOOP '95 - Object-Oriented Programming: 9th European Conference, Aarhus, Denmark, August 7 - 11, 1995. Proceedings (Lecture Notes in Computer Science) 9783540601609, 3540601600

For the ninth time now, the European Conference on Object-Oriented P- gramming provides a mid-summer gathering place for

113 32 30MB Read more

Compiler Compilers: Third International Workshop, CC '90 Schwerin, FRG, October 22–24, 1990 Proceedings [1 ed.] 3540536698, 9783540536697

Advances and problems in the field of compiler compilers are considered in this volume, which presents the proceedings o

271 92 3MB Read more