Inductively defined functions in functional programming languages (Q1089782)
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: Inductively defined functions in functional programming languages |
scientific article; zbMATH DE number 4005579
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inductively defined functions in functional programming languages |
scientific article; zbMATH DE number 4005579 |
Statements
Inductively defined functions in functional programming languages (English)
0 references
1987
0 references
This paper proposes a notation for defining functions or procedures in such a way that their termination is guaranteed by the scope rules. It uses an extension of case expressions. Suggested uses include programming languages and logical languages; an application is also given to the problem of proving inequations from initial algebra specifications.
0 references
procedures
0 references
termination
0 references
scope rules
0 references
case expressions
0 references
initial algebra specifications
0 references
