Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers [1 ed.] 3540221743, 9783540221746, 9783540259381

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis

223 2 2MB

English Pages 238 [249] Year 2004

Table of contents :
Front Matter....Pages -
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce....Pages 1-19
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures....Pages 20-33
Correct OO Systems in Computational Logic....Pages 34-53
Specification and Synthesis of Hybrid Automata for Physics-Based Animation....Pages 54-55
Adding Concrete Syntax to a Prolog-Based Program Synthesis System....Pages 56-58
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables....Pages 59-74
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2....Pages 75-91
A Program Transformation for Backwards Analysis of Logic Programs....Pages 92-105
An Efficient Staging Algorithm for Binding-Time Analysis....Pages 106-107
Proving Termination with Adornments....Pages 108-109
Constructively Characterizing Fold and Unfold....Pages 110-127
Deterministic Higher-Order Patterns for Program Transformation....Pages 128-142
From Interpreter to Logic Engine by Defunctionalization....Pages 143-159
Linearization by Program Transformation....Pages 160-175
Continuation Semantics as Horn Clauses....Pages 176-177
Simplification of Database Integrity Constraints Revisited: A Transformational Approach....Pages 178-197
Integration and Optimization of Rule-Based Constraint Solvers....Pages 198-213
Introducing esra , a Relational Language for Modelling Combinatorial Problems....Pages 214-232
Back Matter....Pages -

Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers [1 ed.]
3540221743, 9783540221746, 9783540259381

Author / Uploaded
Helko Lehmann
Michael Leuschel (auth.)
Maurice Bruynooghe (eds.)

Similar Topics
Education
International Conferences and Symposiums

0 0 0
Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up

Recommend Papers

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science, 3018) [2004 ed.] 3540221743, 9783540221746

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis

120 89 2MB Read more

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ... Computer Science and General Issues) [1st Edition.] 3642125913, 9783642125911

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic

354 63 3MB Read more

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3901) 3540326545, 9783540326540

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Progra

109 16 2MB Read more

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4407) 354071409X, 9783540714095

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program

105 7 4MB Read more

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected ... Computer Science and General Issues) 303045259X, 9783030452599

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-B

105 22 11MB Read more

Logic-Based Program Synthesis and Transformation. 31st International Symposium, LOPSTR 2021 Tallinn, Estonia, September 7–8, 2021 Proceedings 9783030988685, 9783030988692

159 37 3MB Read more

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers (Lecture Notes in Computer Science, 2664) 3540404384, 9783540404385

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program

102 6 3MB Read more

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559) 9783540657651, 3540657657

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Pr

100 64 4MB Read more

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817) 9783540676287, 3540676287

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transforma

104 55 2MB Read more

Agent-Oriented Information Systems: 5th International BI-Conference Workshop, Aois 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers 0137488071, 3540259430

This book constitutes the thoroughly refereed post-proceedings of the 5th International Bi-Conference Workshop on Agent-

344 90 4MB Read more