Using Abstract Interpretation for Goal Replacement (English)
- New search for: Boulanger, D.
- New search for: Bruynooghe, M.
- New search for: Boulanger, D.
- New search for: Bruynooghe, M.
- New search for: Deville, Y.
In:
Logic program synthesis and transformation
;
210-228
;
1994
-
ISBN:
- Conference paper / Print
-
Title:Using Abstract Interpretation for Goal Replacement
-
Contributors:
-
Conference:3rd International workshop, Logic program synthesis and transformation ; 1993 ; Louvain-la-Neuve; Belgium
-
Published in:
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin , New York
-
Publication date:1994-01-01
-
Size:19 pages
-
Remarks:Held in conjunction with the Program Development Area meeting of Compunet, the Esprit network in computational logic. Also known as LOPSTR 93
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Toward the Synthesis of Constraint Propagation AlgorithmsSmith, D. R. et al. | 1994
- 10
-
A Formal View of Specification, Deductive Synthesis and Transformation of Logic ProgramsLau, K.-K. / Ornaghi, M. et al. | 1994
- 32
-
Reachability Analysis for the Extension Procedure - A Topological ResultNeugebauer, G. et al. | 1994
- 45
-
Inductive Synthesis of Logic Programs and Inductive Logic ProgrammingBergadano, F. / Gunetti, D. et al. | 1994
- 57
-
Induction of Prolog Programs with MarkusGrobelnik, M. et al. | 1994
- 64
-
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract)Madden, P. / Hesketh, J. / Green, I. / Bundy, A. et al. | 1994
- 67
-
Guiding Synthesis ProofsLombart, V. / Wiggins, G. / Deville, Y. et al. | 1994
- 82
-
Combining Prolog Programs in a Techniques Editing System (Abstract)Vargas-Vera, M. / Robertson, D. / Inder, R. et al. | 1994
- 85
-
Designing Prolog Programming TechniquesVasconcelos, W. W. et al. | 1994
- 100
-
Interactive Program Derivation Using Program Schemata and Incrementally Generated StrategiesJohansson, A.-L. et al. | 1994
- 113
-
The Power of Partial EvaluationDe Waal, D. A. et al. | 1994
- 124
-
Specialising the Ground Representation in the Logic Programming Language GoedelGurr, C. A. et al. | 1994
- 141
-
Synthesis of Programs from Unfold/Fold ProofsProietti, M. / Pettorossi, A. et al. | 1994
- 159
-
Some Further Issues in Finite Unfolding (Abstract)Martens, B. / De Schreye, D. et al. | 1994
- 162
-
A Transformation Based on the Equality Between TermsNeumerkel, U. et al. | 1994
- 177
-
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra ModelOlmedilla, M. / Bueno, F. / Hermenegildo, M. et al. | 1994
- 196
-
Memoing with Abstract Answers and Delphi LemmasTarau, P. / De Bosschere, K. et al. | 1994
- 210
-
Using Abstract Interpretation for Goal ReplacementBoulanger, D. / Bruynooghe, M. et al. | 1994
- 229
-
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some ExperimentsDe Boeck, P. / Le Charlier, B. et al. | 1994