Guiding Synthesis Proofs (Englisch)
- Neue Suche nach: Lombart, V.
- Neue Suche nach: Wiggins, G.
- Neue Suche nach: Deville, Y.
- Neue Suche nach: Lombart, V.
- Neue Suche nach: Wiggins, G.
- Neue Suche nach: Deville, Y.
- Neue Suche nach: Deville, Y.
In:
Logic program synthesis and transformation
;
67-81
;
1994
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Guiding Synthesis Proofs
-
Beteiligte:
-
Kongress:3rd International workshop, Logic program synthesis and transformation ; 1993 ; Louvain-la-Neuve; Belgium
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer-Verlag
-
Erscheinungsort:Berlin , New York
-
Erscheinungsdatum:01.01.1994
-
Format / Umfang:15 pages
-
Anmerkungen:Held in conjunction with the Program Development Area meeting of Compunet, the Esprit network in computational logic. Also known as LOPSTR 93
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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