Analogical program derivation based on type theory (Q1802072)
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: Analogical program derivation based on type theory |
scientific article; zbMATH DE number 218930
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analogical program derivation based on type theory |
scientific article; zbMATH DE number 218930 |
Statements
Analogical program derivation based on type theory (English)
0 references
8 August 1993
0 references
program derivation
0 references
program transformation
0 references
software automation
0 references
analogical programming
0 references
analogical reasoning
0 references
analogical correspondence
0 references
