Sciweavers

TCS
1998

Algebraic Translations, Correctness and Algebraic Compiler Construction

13 years 10 months ago
Algebraic Translations, Correctness and Algebraic Compiler Construction
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurrent programming languages, logic, natural language translation, and natural language semantics. Special attention will be given to the notion ‘correctness of translation’. In all fields this notion can be defined as the commutativity of some diagram which connects languages, translation and meanings. For algebraically defined compilers, five different definitions are found in the literature. We argue which of these should be considered the ‘right’ one (it is not the standard choice). We conclude with a first step towards a general algebraic theory of translation. keywords Translation, correctness, compiler, embedding, view update, parsing, natural language, commutative diagram.
Theo M. V. Janssen
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 1998
Where TCS
Authors Theo M. V. Janssen
Comments (0)