Theoretical Computer Science and General Issues

Logic-Based Program Synthesis and Transformation

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Editors: Schreye, Danny De (Ed.)

Free Preview

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-642-12592-8
  • 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
  • ISBN 978-3-642-12591-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (14 chapters)

Table of contents (14 chapters)
  • Towards Scalable Partial Evaluation of Declarative Programs

    Pages 1-4

    Vidal, Germán

  • Deciding Full Branching Time Logic by Program Transformation

    Pages 5-21

    Pettorossi, Alberto (et al.)

  • A Transformational Approach for Proving Properties of the CHR Constraint Store

    Pages 22-36

    Pilozzi, Paolo (et al.)

  • The Dependency Triple Framework for Termination of Logic Programs

    Pages 37-51

    Schneider-Kamp, Peter (et al.)

  • Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing

    Pages 52-66

    Iborra, José (et al.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-642-12592-8
  • 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
  • ISBN 978-3-642-12591-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic-Based Program Synthesis and Transformation
Book Subtitle
19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Editors
  • Danny De Schreye
Series Title
Theoretical Computer Science and General Issues
Series Volume
6037
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-12592-8
DOI
10.1007/978-3-642-12592-8
Softcover ISBN
978-3-642-12591-1
Edition Number
1
Number of Pages
X, 205
Number of Illustrations
29 b/w illustrations
Topics