Representing Logic Program Schemata in lambdaProlog

Cached

Download Links

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

Documents Related by Co-Citation

5 A uni view of programming schemas and proof methods – P Flener, J D C Richardson - 1999
19 Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications – K K Lau, S D Prestwich - 1990
9 Synthesis of a Family of Recursive Sorting Procedures – Kung-kiu Lau, Steven D. Prestwich - 1991
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
11 A Framework for Program Development Based on Schematic Proof – David Basin, Alan Bundy, Ina Kraan, Sean Matthews - 1993
58 System Description: Proof Planning in Higher-Order Logic with – Julian Richardson, Alan Smaill, Ian Green - 1998
57 Logic Program Synthesis from Incomplete Specifications – Pierre Flener , Yves Deville - 1993
23 Turning eureka steps into calculations in automatic program synthesis – A Bundy, A Smaill, J Hesketh - 1990
2 Forms of logic speci A preliminary study – K-K Lau, M Ornaghi - 1997
17 An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1996
2 An Integration of Deductive Retrieval into Deductive Synthesis – Bernd Fischer, Jon Whittle - 1999
5 A calculus for rippling – D Basin, T Walsh - 1994
2 ╬╗prolog: An introduction to the language and its – D Miller - 1998
1 Also available from Edinburgh as DAI Research Paper 448 – A Smaill - 1990
1 From context-free to de grammars: A type-theoretic approach – J Haas, B Jayaraman - 1997
4 Uses of higher-order uni for implementing program transformers – John Hannan, Dale Miller - 1988
6 Extensions to the estimation calculus – Jeremy Gow, Jeremy Gow, Jeremy Gow, Alan Bundy, Alan Bundy, Alan Bundy, Ian Green, Ian Green, Ian Green - 1999
11 Relational rippling: A general approach – Alan Bundy, Vincent Lombart - 1995
16 A Logic Programming Approach to Implementing Higher-Order Term Rewriting – Amy Felty - 1992