Data structures and program transformation (Q749197)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Data structures and program transformation |
scientific article |
Statements
Data structures and program transformation (English)
0 references
1990
0 references
An extension of the Bird-Meertens formalism for program transformations to arbitrary data types is proposed. The approach is based on the notion of initial data types. The construction of structure-preserving maps is described and a promotion theorem for proving their equalities is derived. Examples include tree structures and infinite lists.
0 references
data structures
0 references
functional programming
0 references
program transformations
0 references
