Combining Prolog Programs in a Techniques Editing System (Abstract) (English)

How to get this document?

Local TIB services
TIB document delivery Purchase

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 Algorithms
Smith, D. R. | 1994
10
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs
Lau, K.-K. / Ornaghi, M. | 1994
32
Reachability Analysis for the Extension Procedure - A Topological Result
Neugebauer, G. | 1994
45
Inductive Synthesis of Logic Programs and Inductive Logic Programming
Bergadano, F. / Gunetti, D. | 1994
57
Induction of Prolog Programs with Markus
Grobelnik, M. | 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. | 1994
67
Guiding Synthesis Proofs
Lombart, V. / Wiggins, G. / Deville, Y. | 1994
82
Combining Prolog Programs in a Techniques Editing System (Abstract)
Vargas-Vera, M. / Robertson, D. / Inder, R. | 1994
85
Designing Prolog Programming Techniques
Vasconcelos, W. W. | 1994
100
Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies
Johansson, A.-L. | 1994
113
The Power of Partial Evaluation
De Waal, D. A. | 1994
124
Specialising the Ground Representation in the Logic Programming Language Goedel
Gurr, C. A. | 1994
141
Synthesis of Programs from Unfold/Fold Proofs
Proietti, M. / Pettorossi, A. | 1994
159
Some Further Issues in Finite Unfolding (Abstract)
Martens, B. / De Schreye, D. | 1994
162
A Transformation Based on the Equality Between Terms
Neumerkel, U. | 1994
177
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model
Olmedilla, M. / Bueno, F. / Hermenegildo, M. | 1994
196
Memoing with Abstract Answers and Delphi Lemmas
Tarau, P. / De Bosschere, K. | 1994
210
Using Abstract Interpretation for Goal Replacement
Boulanger, D. / Bruynooghe, M. | 1994
229
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments
De Boeck, P. / Le Charlier, B. | 1994
Feedback