+612 9045 4394
Logic-Based Program Synthesis and Transformation : 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers - Pierre Flener

Logic-Based Program Synthesis and Transformation

8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers

By: Pierre Flener (Editor)

Paperback Published: 24th March 1999
ISBN: 9783540657651
Number Of Pages: 338

Share This Book:


or 4 easy payments of $31.26 with Learn more
Ships in 5 to 9 business days

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

Attempto Controlled English - Not Just Another Logic Specification Languagep. 1
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercuryp. 21
Pragmatics in the Synthesis of Logic Programsp. 41
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systemsp. 61
Synthesis of Programs in Abstract Data Typesp. 81
OOD Frameworks in Component-Based Software Development in Computational Logicp. 101
The Use of Renaming in Composing General Programsp. 124
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemesp. 143
Specialising Logic Programs with Respect to Call/Post Specificationsp. 159
Generalization in Hierarchies of Online Program Specialization Systemsp. 179
Improving Homeomorphic Embedding for Online Terminationp. 199
Successes in Logic Programsp. 219
Inferring and Compiling Termination for Constraint Logic Programsp. 240
Strictness Analysis as Finite-Domain Constraint Solvingp. 255
Invariant Discovery via Failed Proof Attemptsp. 271
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarationsp. 289
Algorithms for Synthesizing Reactive Systems: A Perspectivep. 308
Schema-Guided Synthesis of CLP Programsp. 309
Proof Planning with Program Schemasp. 313
Logical Synthesis of Imperative O.-O. Programsp. 316
Mathematical Foundations for Program Transformationsp. 319
An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programsp. 322
Bottom-Up Specialisation of Logic Programsp. 325
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debuggingp. 328
Author Indexp. 331
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540657651
ISBN-10: 3540657657
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 338
Published: 24th March 1999
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.83
Weight (kg): 0.49