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

✍ Scribed by Douglas R. Smith (auth.), Yves Deville (eds.)

• Publisher: Springer-Verlag London
• Year: 1994
• Tongue: English
• Leaves: 257
• Series: Workshops in Computing
• Edition: 1
• Category: Library

✦ Synopsis

This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing a uniform declarative notation for precisely describing application domains, software requirements, and for prescribing behavior via logic programs. Program synthesis and transfonnation techniques formalize the process of developing correct and efficient programs from requirement specifications. The natural intersection of these two fields of research has been the focus of the LOPSTR workshops. The papers in this volume address many aspects of software develop­ ment including: deductive synthesis, inductive synthesis, transforma­ tions for optimizing programs and exploiting parallelism, program analysis techniques (particularly via abstract interpretation), meta­ programming languages and tool support, and various extensions to Prolog-like languages, admitting non-Horn clauses, functions, and constraints. Despite the progress represented in this volume, the transition from laboratory to practice is fraught with difficulties.

✦ Table of Contents

Front Matter....Pages i-xii
Toward the Synthesis of Constraint Propagation Algorithms....Pages 1-9
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs....Pages 10-31
Reachability Analysis for the Extension Procedure — A Topological Result —....Pages 32-44
Inductive Synthesis of Logic Programs and Inductive Logic Programming....Pages 45-56
Induction of Prolog programs with Markus....Pages 57-63
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract)....Pages 64-66
Guiding Synthesis Proofs....Pages 67-81
Combining Prolog Programs in a Techniques Editing System (Abstract)....Pages 82-84
Designing Prolog Programming Techniques....Pages 85-99
Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies....Pages 100-112
The Power of Partial Evaluation....Pages 113-123
Specialising the Ground Representation in the Logic Programming Language Gödel....Pages 124-140
Synthesis of Programs from Unfold/Fold Proofs....Pages 141-158
Some Further Issues in Finite Unfolding (Abstract)....Pages 159-161
A Transformation Based on the Equality between Terms....Pages 162-176
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model....Pages 177-195
Memoing with Abstract Answers and Delphi Lemmas....Pages 196-209
Using Abstract Interpretation for Goal Replacement....Pages 210-228
Mechanical Transformation of Logic Definitions augmented with Type Information into Prolog Procedures: Some Experiments....Pages 229-245
Back Matter....Pages 247-249

✦ Subjects

Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages