|
21
|
A Simple Prolog Techniques Editor for Novice Users
– Dave Robertson
- 1991
|
|
32
|
Schema-Based Transformations of Logic Programs
– Norbert Fuchs, Markus P. J. Fromherz
- 1991
|
|
17
|
An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations
– Wamberto W. Vasconcelos, Norbert E. Fuchs
- 1996
|
|
8
|
Exploiting Program Schemata in a Prolog Tutoring System
– Timothy S. Gegg-harrison, Timothy S. Gegg-harrison
- 1993
|
|
10
|
Prolog Programming Techniques
– P Brna, P Bundy, T Dodd, C K Eisenstadt, M Looi, H Pain, D Robertson, B Smith, M Van Someren
- 1991
|
|
15
|
Skeletons and techniques for Prolog programming
– M Kirschenbaum, A Lakhotia, L S Sterling
|
|
34
|
Applying Techniques to Skeletons
– L. S. Sterling, M. Kirschenbaum
- 1993
|
|
9
|
Incorporating `programming techniques' into Prolog programs
– Arun Lakhotia
- 1989
|
|
3
|
organising, designing and reusing prolog programming techniques
– W W Vasconcelos, Extracting
- 1995
|
|
236
|
Program development by stepwise refinement
– N Wirth
- 1971
|
|
134
|
Transformation of logic programs: Foundations and techniques
– A Pettorossi, M Proietti
- 1994
|
|
142
|
Proving and applying program transformations expressed with second-order patterns
– G P Huet, B Lang
- 1978
|
|
5
|
How to Control Unfolding when Specialising Interpreters
– A Lakhotia, L Sterling
- 1990
|
|
4
|
Best-first strategies for incremental transformations of logic programs
– Maurizio Proietti, Alberto Pettorossi
- 1992
|
|
1
|
Proving Schema-Based Transformations for Logic Programs. Extended Abstract
– W W Vasconcelos, M T Aragao
- 1996
|
|
4
|
Prolog Program Development via Enhanced Schema-Based Transformations
– Wamberto W. Vasconcelos, Norbert E. Fuchs
- 1995
|
|
7
|
A Bottom-Up Analysis Toolkit
– J. P. Gallagher
- 1995
|
|
3
|
Using Prolog Techniques to Guide Program Composition
– M Vargas-Vera
- 1995
|
|
12
|
Designing Prolog Programming Techniques
– Wamberto Weber Vasconcelos
- 1994
|
