Algebraic translations, correctness and algebraic compiler construction

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

Theo M. V. Janssen

Publication date: 13 August 1998

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

zbMATH Keywords

embedding; correctness; translation; natural language; parsing; commutative diagram; compiler; view update

Mathematics Subject Classification ID

68N20: Theory of compilers and interpreters

Related Items

A unified language processing methodology, Specification languages in algebraic compilers

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