Data structures and program transformation (Q749197)
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: Data structures and program transformation |
scientific article; zbMATH DE number 4172359
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Data structures and program transformation |
scientific article; zbMATH DE number 4172359 |
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
