Lecture Notes in Computer Science

Logic Based Program Synthesis and Transformation

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Editors: Bruynooghe, Maurice (Ed.)

Buy this book

eBook 53,54 €
price for Spain (gross)
  • ISBN 978-3-540-25938-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 67,59 €
price for Spain (gross)
  • ISBN 978-3-540-22174-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).

Table of contents (18 chapters)

  • Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce

    Lehmann, Helko (et al.)

    Pages 1-19

    Preview Buy Chapter 30,19 €
  • Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures

    Alexandre, Francis (et al.)

    Pages 20-33

    Preview Buy Chapter 30,19 €
  • Correct OO Systems in Computational Logic

    Lau, Kung-Kiu (et al.)

    Pages 34-53

    Preview Buy Chapter 30,19 €
  • Specification and Synthesis of Hybrid Automata for Physics-Based Animation

    Ellman, Thomas

    Pages 54-55

    Preview Buy Chapter 30,19 €
  • Adding Concrete Syntax to a Prolog-Based Program Synthesis System

    Fischer, Bernd (et al.)

    Pages 56-58

    Preview Buy Chapter 30,19 €

Buy this book

eBook 53,54 €
price for Spain (gross)
  • ISBN 978-3-540-25938-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 67,59 €
price for Spain (gross)
  • ISBN 978-3-540-22174-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic Based Program Synthesis and Transformation
Book Subtitle
13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Editors
  • Maurice Bruynooghe
Series Title
Lecture Notes in Computer Science
Series Volume
3018
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-25938-1
DOI
10.1007/b98080
Softcover ISBN
978-3-540-22174-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 238
Topics