Shop the Archives and get your next eBook for just 14.99! Stock up today >>

Lecture Notes in Computer Science

Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

Editors: Leuschel, M. (Ed.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-45013-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-40438-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

 This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.

The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

Table of contents (22 chapters)

  • Abstract Diagnosis of Functional Programs

    Alpuente, María (et al.)

    Pages 1-16

  • A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene

    Gutiérrez, Francisco (et al.)

    Pages 17-31

  • Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming

    Abdennadher, Slim (et al.)

    Pages 32-47

  • Translating Datalog-Like Optimization Queries into ILOG Programs

    Greco, G. (et al.)

    Pages 48-49

  • Tabling Structures for Bottom-Up Logic Programming

    Clayton, Roger (et al.)

    Pages 50-51

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-45013-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-40438-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic Based Program Synthesis and Transformation
Book Subtitle
12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
Editors
  • M. Leuschel
Series Title
Lecture Notes in Computer Science
Series Volume
2664
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45013-9
DOI
10.1007/3-540-45013-0
Softcover ISBN
978-3-540-40438-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 279
Topics