Algebras, polynomials and programs (Q802882): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 01:15, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebras, polynomials and programs |
scientific article |
Statements
Algebras, polynomials and programs (English)
0 references
1990
0 references
The paper is directed to an audience of computer scientists with some knowledge of elementary category theory. It presents applications of ideas from universal algebra and category theory to the definition and semantics of programming languages, and to the study of iteration and recursion. Some of the topics covered are: many-sorted universal algebras, formal equations, polynomials, substitution, (many-sorted) Lawvere algebraic theories, flowchart program semantics, recursive program semantics. The paper is written clearly, and accomplishes its stated purpose.
0 references
applications of ideas from universal algebra and category theory to the definition and semantics of programming languages
0 references
iteration
0 references
recursion
0 references
many-sorted universal algebras
0 references
formal equations
0 references
polynomials
0 references
substitution
0 references
Lawvere algebraic theories
0 references
flowchart program semantics
0 references
recursive program semantics
0 references
