Searching for "Program Extraction in a Logical Framework Setting." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Program Extraction in a Logical Framework Setting
by Penny Anderson — 1994 — IN PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND AUTOMATED REASONING
…Program Extraction in a Logical Framework Setting Penny Anderson INRIA, Unit'e de Recherche de…
Cited by 3 (1 self) – Add To MetaCart

CompuNet subgroup on Program Development, Analysis and Transformation
by May Subject — 1995
…. Anderson. Program extraction in a logical framework setting. In F. Pfenning, editor, Proceedings…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB