An operational approach to program extraction in the Calculus of Constructions
The Theory of Specifications is an extension of the Calculus of Constructions where the specification of a problem, the derivation of a program, and its correctness proof, can all be done within the same formalism. An operational semantics describes the process of extracting a program from a proof i...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | report |
| Published: |
2002
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.12008/3482 |
| Tags: |
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!