Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings, Volume 6

Front Cover
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.
The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

Refining Specifications to Logic Programs
Symbolic Verification with GapOrder Constraints
16
SpecificationBased Automatic Verification of Prolog Programs
34
How to Be More Specific
54
Conjunctive Partial Deduction in Practice
55
Redundant Argument Filtering of Logic Programs
79
Replacement Can Preserve Termination
100
A Transformation Tool for Pure Prolog Programs
126
Reductions of Petri Nets and Unfolding of Prepositional Logic Programs
183
Inferring Argument Size Relationships with
200
Typed Norms for Typed Logic Programs
220
Partial Deduction in the Framework of Structural Synthesis of Programs
235
Extensible Logic Program Schemata
252
Specialising Metalevel Compositions of Logic Programs
271
A Preliminary Study
291
Synthesis of Proof Procedures for Default Reasoning
309

Enhancing Partial Deduction via UnfoldFold Rules
142
Abstract Specialization and Its Application to Program Parallelization
165
Author Index
321
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 322 - V. Lifschitz, The Stable Model Semantics for Logic Programming, Proceedings of the 5th International Conference on Logic Programming, 1988, pp.

Bibliographic information