Representing Logic Program Schemata in lambdaProlog

Cached

Download Links

by Timothy S. Gegg-harrison
Citations:2 - 0 self

Documents Related by Co-Citation

718 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
1862 Foundations of Logic Programming – J W Lloyd - 1987
59 System Description: Proof Planning in Higher-Order Logic with – Julian Richardson, Alan Smaill, Ian Green - 1998
58 Logic Program Synthesis from Incomplete Specifications – Pierre Flener , Yves Deville - 1993
24 Thrning eureka steps into calculations in automatic program synthesis – A Bundy, A Small, J Hesketh - 1990
24 Logic Program Synthesis via Proof Planning – C Fl Ina Kraan, Ina Kraan, Ina Kraan, David Basin, David Basin, David Basin, Alan Bundy, Alan Bundy, Alan Bundy - 1993
20 Top-down synthesis of recursive logic procedures from firstorder logic specifications – K-K Lau, S D Prestwich - 1990
11 A Framework for Program Development Based on Schematic Proof – David Basin, Alan Bundy, Ina Kraan, Sean Matthews - 1993
9 Synthesis of a Family of Recursive Sorting Procedures – Kung-kiu Lau, Steven D. Prestwich - 1991
5 A uni view of programming schemas and proof methods – P Flener, J D C Richardson - 1999