Algebraic translations, correctness and algebraic compiler construction
type: Item
instance of: scholarly article
title: Algebraic translations, correctness and algebraic compiler construction
zbMATH Open document ID: 0902.68111
DOI: 10.1016/S0304-3975(97)00267-3
author: Theo M. V. Janssen
published in: Theoretical Computer Science
publication date: 1998-08-13T00:00:00Z
Mathematics Subject Classification ID: 68N20
zbMATH DE Number: 1190225
zbMATH Keywords: translation
zbMATH Keywords: correctness
zbMATH Keywords: compiler
zbMATH Keywords: embedding
zbMATH Keywords: view update
zbMATH Keywords: parsing
zbMATH Keywords: natural language
zbMATH Keywords: commutative diagram
Wikidata QID: Q122665227
MaRDI profile type: Publication
cites work: Update semantics of relational views
cites work: Q5618896
cites work: Q4342082
cites work: Q3677148
cites work: Q3995890
cites work: Institutions: abstract model theory for specification and programming
cites work: Q4346205
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q3712304
cites work: Q4331781
cites work: Q4061988
cites work: Semantics of context-free languages
cites work: Q3902952
cites work: Q5674962
cites work: Q4068067
cites work: On the structural simplicity of machines and languages
cites work: Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
cites work: Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
cites work: Mathematical methods in linguistics
cites work: Compiler specification and verification
cites work: Q4840207
cites work: Q4102722
cites work: Q3899535
cites work: An algebraic model for programming languages
cites work: Algebraic construction of compilers
cites work: Q4127966
cites work: Q4199499
cites work: Q5680089
cites work: Q3995133
full work available at URL: s0304-3975(97)00267-3
OpenAlex ID: W2067041071
description: scientific article; zbMATH DE number 1190225