Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

zbMath0447.68002MaRDI QIDQ1146510

No author found.

Publication date: 1980

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ProceedingsWorkshopparsingattribute grammarsAarhuscompiler correctnessdenotational semantics of programming languagesADACompiler generationcompiler writingcompiler-compilersemantics-directed compiler generationSemantics-directed compiler generation

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx) Conference proceedings and collections of articles (00Bxx)

Related Items (4)

Algebraic translations, correctness and algebraic compiler construction ⋮ The behavior-realization adjunction and generalized homomorphic relations ⋮ Static semantics, types, and binding time analysis ⋮ State-transition machines, revisited

This page was built for publication: Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980