Opening book details…
Can I read Algebraic Translations, Correctness and Algebraic Compiler Construction on EtoBox?
Algebraic Translations, Correctness and Algebraic Compiler Construction by Theo M.V. Janssen is a Computer Science article available to read on EtoBox.
What is Algebraic Translations, Correctness and Algebraic Compiler Construction about?
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.
Who reads Algebraic Translations, Correctness and Algebraic Compiler Construction?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Theo M.V. Janssen
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0304-3975)
- Published
- 1998
- Language
- EN
- Field
- Computer Science (Physical Sciences)