An application of PER models to program extraction (Q4282806)
From MaRDI portal
scientific article; zbMATH DE number 519733
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An application of PER models to program extraction |
scientific article; zbMATH DE number 519733 |
Statements
An application of PER models to program extraction (English)
0 references
14 March 1994
0 references
program extraction
0 references
type theory
0 references
programs from proofs
0 references
program synthesis
0 references
program optimization
0 references
specification
0 references
higher order lambda calculus
0 references
correctness
0 references
semantics
0 references
