Transformations of denotational semantics in semantics directed compiler generation
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Foundations and applications of Montague grammar: 8M part 1: philosophy, framework, computer science
Foundations and applications of Montague grammar: 8M part 1: philosophy, framework, computer science
Using domain algebras to prove the correctness of a compiler
Proceedings on STACS 85 2nd annual symposium on theoretical aspects of computer science
Compiler generators: what they can do, what they might do, and what they will probably never do
Compiler generators: what they can do, what they might do, and what they will probably never do
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Algebraic construction of compilers
Theoretical Computer Science
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
Algebraic translations, correctness and algebraic compiler construction
AMiLP '95 Proceedings of the first international AMAST workshop on Algebraic methods in language processing
Algebraic processing of programming languages
AMiLP '95 Proceedings of the first international AMAST workshop on Algebraic methods in language processing
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
Advice on structuring compilers and proving them correct
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Compiler Specification and Verification
Compiler Specification and Verification
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
On the Proper Treatment or Referencing, Dereferencing and Assignment
Proceedings of the Fourth Colloquium on Automata, Languages and Programming
More on Advice on Structuring Compilers and Proving Them Correct
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
A Constructive Approach to Compiler Correctness
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Embeddings Among Concurrent Programming Languages (Preliminary Version)
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
A constructive approach to compiler correctness
Semantics-Directed Compiler Generation, Proceedings of a Workshop
On the Structural Simplicity of Machines and Languages
On the Structural Simplicity of Machines and Languages
Contributions to compiler correctness.
Contributions to compiler correctness.
| Hi-index | 0.00 |
Translations from one language to another arise in many fields of science: in computer science (compilers, data base views), logic (embeddings), natural language (translation), and philosophy (Montague grammar). In all these fields one can find the same method: compositional translation, or in mathematical formulation, algebraic translation. In some fields it is a standard method, in other fields a rare approach. The aim of this paper is to give an overview of compositional translations. Special attention will be given to the notion 'correct translation' (which can be formalized by commutativity of a diagram). Furthermore, the first steps will be will be made towards a mathematical theory of translating.