Informatics Report Series


Report   

EDI-INF-RR-0142


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Title:Logic-based Program Synthesis via Program Extraction
Authors: Ewen Denney
Date:Mar 2002
Publication Title:AAAI 2002 Spring Symposium
Publication Type:Conference Paper
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},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh