عنوان

Logic program synthesis and transformation :

0387198644

3540198644

9780387198644

9783540198642

b565409

Logic program synthesis and transformation :

[Book]

proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

publ. in collab. with the British Computer Society. Yves Deville (ed.)

London Springer

1994

XII, 245 Seiten Diagramme 24 cm

Workshops in computing.

Literaturangaben

Toward the Synthesis of Constraint Propagation Algorithms.- A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.- Reachability Analysis for the Extension Procedure - A Topological Result.- Inductive Synthesis of Logic Programs and Inductive Logic Programming.- Induction of Prolog Programs with Markus.- A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).- Guiding Synthesis Proofs.- Combining Prolog Programs in a Techniques Editing System (Abstract).- Designing Prolog Programming Techniques.- Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies.- The Power of Partial Evaluation.- Specialising the Ground Representation in the Logic Programming Language Goedel.- Synthesis of Programs from Unfold/Fold Proofs.- Some Further Issues in Finite Unfolding (Abstract).- A Transformation Based on the Equality Between Terms.- Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model.- Memoing with Abstract Answers and Delphi Lemmas.- Using Abstract Interpretation for Goal Replacement.- Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.- Author Index.

Logische Programmierung

Softwareentwicklung

Systemtransformation

publ. in collab. with the British Computer Society. Yves Deville (ed.)

British Computer Society

Yves Deville

[Book]

Y