Algebraic construction of compilers (Q1183579): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
(2 intermediate revisions by one other user not shown) | |||
Property / reviewed by | |||
Property / reviewed by: G. Riedewald / rank | |||
Property / reviewed by | |||
Property / reviewed by: G. Riedewald / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 00:37, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic construction of compilers |
scientific article |
Statements
Algebraic construction of compilers (English)
0 references
28 June 1992
0 references
The algebraic construction of compilers is treated. After discussing fundamental concepts of universal algebras languages are defined as triples consisting of a semantic algebra, a syntactic algebra (word algebra) and a language learning function mapping the semantic algebra into the syntactic algebra and depending on a homomorphism between the syntactic and semantic algebras. First, the simplest case is considered, that means both --- the source language and the target language --- are defined by homogeneous universal algebras of the same signature. Then, the case of different signatures is solved by embedding the source language into the target language using the concept of derived operations and subalgebras. Finally, to define real programming languages and their compilation heterogeneous universal algebras are exploited. Here, a heterogeneous algebra is a hierarchy of two layers. The first layer (specification basis) is a homogeneous algebra defining the operation schemes of the operations of the second layer which are operations on a family of sets. For the compilers explicit algorithms are given. The correctness of the constructed compilers is guaranteed by construction. Parallelization of compilers is possible. The idea of algebraic compiler construction is implemented in the TICS system.
0 references
algebraic compiler
0 references
algebraic grammar
0 references
context-free algebraic language
0 references