Analogical program derivation based on type theory (Q1802072)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Analogical program derivation based on type theory |
scientific article |
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