Download:
|
by Wamberto W. Vasconcelos, Norbert E. Fuchs
http://www.cs.usask.ca/projects/envlop/WLPE/7WLPE/proceedings/vasconcelos.ps.gz
Add To MetaCart
Abstract:
We describe state-of-the-practice results in integrating a program transformation approach to a program development environment. We propose a formalisation for a specific kind of programming knowledge, the programming techniques. Our proposal employs program schemata, generic descriptions of programs addressing portions of predicate definitions in an economical manner, allowing important features to be highlighted and irrelevant details to be disregarded. This formalisation of programming techniques is employed in the definition of a program development framework which supports the preparation of individual predicates, and additionally provides a supervising facility which checks inter-procedural relations for possible efficiency improvements. 1
Citations
|
182
|
Program Development by Stepwise Refinement
– Wirth
- 1971
|
|
39
|
Applying Techniques to Skeletons
– Kirschenbaum, Sterling
- 1993
|
|
34
|
Schema-Based Transformations of Logic Programs
– Fuchs, Fromherz
- 1992
|
|
25
|
A Simple Prolog Techniques Editor for Novice Users
– Robertson
- 1991
|
|
21
|
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformath tions
– Vasconcelos, Fuchs
- 1995
|
|
20
|
Skeletons and techniques for Prolog programming
– Kirschenbaum, Lakhotia, et al.
- 1989
|
|
18
|
Applying Prolog programming techniques
– Vasconcelos
- 1994
|
|
13
|
Prolog programming techniques
– Brna, Bundy, et al.
|
|
12
|
Incorporating `Programming Techniques' into Prolog Programs
– Lakhotia
- 1989
|
|
10
|
Exploiting Program Schemata in a Prolog Tutoring System
– Gegg-Harrison
- 1993
|
|
7
|
Opportunistic Logic Program Analysis and Optimisation: Enhanced SchemaBased Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation
– Vasconcelos, Fuchs
- 1995
|
|
5
|
Using Prolog Techniques to Guide Program Composition
– Vargas-Vera
- 1995
|
|
4
|
Extracting, Organising, Designing and Reusing Prolog Programming Techniques
– Vasconcelos
- 1995
|
