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 the normal view instead:
scientific article; zbMATH DE number 4172359
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7445999383926392
0 references
0.7264191508293152
0 references
