Algebraic translations, correctness and algebraic compiler construction

DOI10.1016/S0304-3975(97)00267-3zbMath0902.68111OpenAlexW2067041071WikidataQ122665227 ScholiaQ122665227MaRDI QIDQ1129121

Theo M. V. Janssen

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00267-3

zbMATH Keywords

embeddingcorrectnesstranslationnatural languageparsingcommutative diagramcompilerview update

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (4)

UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC ⋮ Formalization of universal algebra in Agda ⋮ Specification languages in algebraic compilers ⋮ A unified language processing methodology

Cites Work

• Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
• Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
• Compiler specification and verification
• Algebraic construction of compilers
• Mathematical methods in linguistics
• On the structural simplicity of machines and languages
• An algebraic model for programming languages
• Update semantics of relational views
• Initial Algebra Semantics and Continuous Algebras
• Institutions: abstract model theory for specification and programming
• Semantics of context-free languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic translations, correctness and algebraic compiler construction