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!
|
Similar Items: An operational approach to program extraction in the Calculus of Constructions
- Internal program extraction in the calculus of inductive constructions
- A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
- A formal specification of the MIDP 2.0 security model
- A Novel Holonomic Mobile Manipulator Robot For Construction Sites
- From Mounds to Villages : The Social Construction of the Landscape during the Middle and Late Holocene in the India Muerta Lowlands, Uruguay
- Epistemological Construction of Disciplinary Knowledge in Nursing Students