Informatics Report Series



Related Pages

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

Title:Logic-based Program Synthesis via Program Extraction
Authors: Ewen Denney
Date:Mar 2002
Publication Title:AAAI 2002 Spring Symposium
Publication Type:Conference Paper
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.
2002 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
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 <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh