Algebras, polynomials and programs (Q802882)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Algebras, polynomials and programs |
scientific article; zbMATH DE number 4199645
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Algebras, polynomials and programs |
scientific article; zbMATH DE number 4199645 |
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
0.9257509
0 references
0.9193657
0 references
0.9151033
0 references
