Corona virus: Access only with medical mouth-nose protection, limited access to reading rooms
Please respect the known hygiene rules and prevent long stays in the library!
► More information about opening hours and visiting the library you find in our FAQ
Combining Prolog Programs in a Techniques Editing System (Abstract) (English)
- New search for: Vargas-Vera, M.
- New search for: Robertson, D.
- New search for: Inder, R.
- New search for: Deville, Y.
In:
Logic program synthesis and transformation
;
82-84
;
1994
-
ISBN:
- Conference paper / Print
-
Title:Combining Prolog Programs in a Techniques Editing System (Abstract)
-
Author / Creator:
-
Contributors:
-
Conference:3rd International workshop, Logic program synthesis and transformation; 1993; Louvain-la-Neuve; Belgium
-
Published in:
-
Publisher:Springer-Verlag
-
Place of publication:Berlin, New York
-
Year of publication:1994
-
Size:3 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:
-
Export:
© 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. | 1994
- 10
-
A Formal View of Specification, Deductive Synthesis and Transformation of Logic ProgramsLau, K.-K. / Ornaghi, M. | 1994
- 32
-
Reachability Analysis for the Extension Procedure - A Topological ResultNeugebauer, G. | 1994
- 45
-
Inductive Synthesis of Logic Programs and Inductive Logic ProgrammingBergadano, F. / Gunetti, D. | 1994
- 57
-
Induction of Prolog Programs with MarkusGrobelnik, 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 ProofsLombart, 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 TechniquesVasconcelos, W. W. | 1994
- 100
-
Interactive Program Derivation Using Program Schemata and Incrementally Generated StrategiesJohansson, A.-L. | 1994
- 113
-
The Power of Partial EvaluationDe Waal, D. A. | 1994
- 124
-
Specialising the Ground Representation in the Logic Programming Language GoedelGurr, C. A. | 1994
- 141
-
Synthesis of Programs from Unfold/Fold ProofsProietti, 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 TermsNeumerkel, U. | 1994
- 177
-
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra ModelOlmedilla, M. / Bueno, F. / Hermenegildo, M. | 1994
- 196
-
Memoing with Abstract Answers and Delphi LemmasTarau, P. / De Bosschere, K. | 1994
- 210
-
Using Abstract Interpretation for Goal ReplacementBoulanger, D. / Bruynooghe, M. | 1994
- 229
-
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some ExperimentsDe Boeck, P. / Le Charlier, B. | 1994
