- Abstract:
-
This paper outlines the author's experiences using the methodology of program extraction within a proof assistantbased on constructive type theory. We discuss the feasibility of the methodology and tool support, and suggest some directions for future research.
- Copyright:
- 2002 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- No links available
- Bibtex format
- @InProceedings{EDI-INF-RR-0142,
- author = {
Ewen Denney
},
- title = {Logic-based Program Synthesis via Program Extraction},
- book title = {AAAI 2002 Spring Symposium},
- year = 2002,
- month = {Mar},
- }
|