Algebraic translations, correctness and algebraic compiler construction
- 15 June 1998
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 199 (1-2) , 25-56
- https://doi.org/10.1016/s0304-3975(97)00267-3
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- On the structural simplicity of machines and languagesAnnals of Mathematics and Artificial Intelligence, 1995
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- An algebraic model for programming languagesComputer Languages, 1987
- Semantic analysis of wh-complementsLinguistics and Philosophy, 1982
- Natural languages and context-free languagesLinguistics and Philosophy, 1982
- Update semantics of relational viewsACM Transactions on Database Systems, 1981
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- General semanticsSynthese, 1970
- Universal grammarTheoria, 1970
- Semantics of context-free languagesTheory of Computing Systems, 1968