Extensible Logic Program Schemata

Cached

Download Links

by Timothy S. Gegg-harrison
Citations:11 - 1 self

Documents Related by Co-Citation

13 Representing Logic Program Schemata in Prolog – Timothy S. Gegg-harrison - 1995
17 An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1996
33 Schema-Based Transformations of Logic Programs – Norbert Fuchs, Markus P. J. Fromherz - 1991
36 Applying Techniques to Skeletons – L. S. Sterling, M. Kirschenbaum - 1993
12 Logic Program Transformation through Generalization Schemata – Pierre Flener, Yves Deville - 1996
57 Logic Program Synthesis from Incomplete Specifications – Pierre Flener , Yves Deville - 1993
10 Generalization and program schemata: A step towards computer-aided construction of logic programs – Y Deville, J Burnay - 1989
68 Logic Programming: Systematic Program Development – Y DeVille - 1990
55 Top-down synthesis of divide-and-conquer algorithms – D R Smith - 1985
240 KIDS: A Semi-Automatic Program Development System – Douglas R. Smith - 1990
5 Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types – E. Marakakis, J. P. Gallagher - 1994
15 Development of Correct Transformation Schemata for Prolog Programs – Julian Richardson , Norbert Fuchs - 1998
146 Proving and applying program transformations expressed with second-order patterns – G Huet, B Lang - 1978
11 Cliche programming in Prolog – Dave Barker-Plummer - 1990
11 Declarative Logic Programming with Primitive Recursive Relations on Lists – Andreas Hamfelt, Jørgen Fischer Nilsson - 1996
17 On Correct Program Schemas – Pierre Flener , Kung-Kiu Lau, Mario Ornaghi
139 Transformation of logic programs: foundations and techniques. Journal of Logic Programming – A Pettorossi, M Proietti - 1994
11 Correct-schema-guided Synthesis of Steadfast Programs – Pierre Flener, Kung-kiu Lau, Mario Ornaghi - 1997
28 Steadfast Logic Programs – Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund - 1994