|
34
|
Applying Techniques to Skeletons
– L. S. Sterling, M. Kirschenbaum
- 1993
|
|
32
|
Schema-Based Transformations of Logic Programs
– Norbert Fuchs, Markus P. J. Fromherz
- 1991
|
|
11
|
Extensible Logic Program Schemata
– Timothy S. Gegg-harrison
|
|
17
|
An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations
– Wamberto W. Vasconcelos, Norbert E. Fuchs
- 1996
|
|
12
|
Logic Program Transformation through Generalization Schemata
– Pierre Flener, Yves Deville
- 1996
|
|
52
|
Logic Program Synthesis from Incomplete Specifications
– Pierre Flener , Yves Deville
- 1993
|
|
11
|
Declarative Logic Programming with Primitive Recursive Relations on Lists
– Andreas Hamfelt, Jørgen Fischer Nilsson
- 1996
|
|
1225
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
11
|
Cliche programming in Prolog
– Dave Barker-Plummer
- 1990
|
|
5
|
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types
– E. Marakakis, J. P. Gallagher
- 1994
|
|
10
|
Generalization and program schemata: A step towards computer-aided construction of logic programs
– Y Deville, J Burnay
- 1989
|
|
64
|
Logic Programming: Systematic Program Development
– Y Deville
- 1990
|
|
142
|
Proving and applying program transformations expressed with second-order patterns
– G'erard Huet, Bernard Lang
- 1978
|
|
53
|
Mercury, an Efficient Purely Declarative Logic Programming Language
– Z. Somogyi, F. J. Henderson, T. C. Conway
- 1995
|
|
51
|
Top-down synthesis of divide-and-conquer algorithms
– D R Smith
- 1985
|
|
134
|
Transformation of logic programs: Foundations and techniques
– A Pettorossi, M Proietti
- 1994
|
|
1739
|
Foundations of Logic Programming
– J W Lloyd
- 1984
|
|
176
|
An Overview of *Prolog
– G Nadathur, D Miller
- 1988
|
|
20
|
Basic Prolog Schemata
– Timothy S Gegg-Harrison
- 1989
|
