Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
From MaRDI portal
Publication:1146510
zbMath0447.68002MaRDI QIDQ1146510
No author found.
Publication date: 1980
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedings; Workshop; parsing; attribute grammars; Aarhus; compiler correctness; denotational semantics of programming languages; ADA; Compiler generation; compiler writing; compiler-compiler; semantics-directed compiler generation; Semantics-directed compiler generation
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx: Theory of software
00Bxx: Conference proceedings and collections of articles
Related Items
Algebraic translations, correctness and algebraic compiler construction, Static semantics, types, and binding time analysis, The behavior-realization adjunction and generalized homomorphic relations, State-transition machines, revisited