Designing Prolog Programming Techniques (English)
- New search for: Vasconcelos, Wamberto Weber
- New search for: Vasconcelos, Wamberto Weber
In:
Logic Program Synthesis and Transformation
;
85-99
;
1994
-
ISSN:
- Article/Chapter (Book) / Electronic Resource
-
Title:Designing Prolog Programming Techniques
-
Contributors:Vasconcelos, Wamberto Weber ( author )
-
Published in:Workshops in Computing ; 85-99
-
Publisher:
- New search for: Springer London
-
Place of publication:London
-
Publication date:1994-01-01
-
Size:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
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, Douglas R. et al. | 1994
- 10
-
A Formal View of Specification, Deductive Synthesis and Transformation of Logic ProgramsLau, Kung-Kiu / Ornaghi, Mario et al. | 1994
- 32
-
Reachability Analysis for the Extension Procedure — A Topological Result —Neugebauer, Gerd et al. | 1994
- 45
-
Inductive Synthesis of Logic Programs and Inductive Logic ProgrammingBergadano, Francesco / Gunetti, Daniele et al. | 1994
- 57
-
Induction of Prolog programs with MarkusGrobelnik, Marko et al. | 1994
- 64
-
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract)Madden, Peter / Hesketh, Jane / Green, Ian / Bundy, Alan et al. | 1994
- 67
-
Guiding Synthesis ProofsLombart, Vincent / Wiggins, Geraint / Deville, Yves et al. | 1994
- 82
-
Combining Prolog Programs in a Techniques Editing System (Abstract)Vargas-Vera, María / Robertson, Dave / Inder, Robert et al. | 1994
- 85
-
Designing Prolog Programming TechniquesVasconcelos, Wamberto Weber et al. | 1994
- 100
-
Interactive Program Derivation Using Program Schemata and Incrementally Generated StrategiesJohansson, Anna-Lena et al. | 1994
- 113
-
The Power of Partial EvaluationWaal, D. A. et al. | 1994
- 124
-
Specialising the Ground Representation in the Logic Programming Language GödelGurr, C. A. et al. | 1994
- 141
-
Synthesis of Programs from Unfold/Fold ProofsProietti, Maurizio / Pettorossi, Alberto et al. | 1994
- 159
-
Some Further Issues in Finite Unfolding (Abstract)Martens, Bern / Schreye, Danny et al. | 1994
- 162
-
A Transformation Based on the Equality between TermsNeumerkel, Ulrich 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, Paul / Bosschere, Koen et al. | 1994
- 210
-
Using Abstract Interpretation for Goal ReplacementBoulanger, Dmitri / Bruynooghe, Maurice et al. | 1994
- 229
-
Mechanical Transformation of Logic Definitions augmented with Type Information into Prolog Procedures: Some ExperimentsBoeck, Pierre / Charlier, Baudouin et al. | 1994