Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

Theoretical Computer Science and General Issues

Logic-Based Program Synthesis and Transformation

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Editors: King, Andy (Ed.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-78769-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-540-78768-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (14 chapters)

  • Proving Termination with (Boolean) Satisfaction

    Codish, Michael

    Pages 1-7

  • Termination Analysis of Logic Programs Based on Dependency Graphs

    Nguyen, Manh Thang (et al.)

    Pages 8-22

  • Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

    Albert, Elvira (et al.)

    Pages 23-42

  • Towards a Normal Form for Mercury Programs

    Degrave, François (et al.)

    Pages 43-58

  • Aggregates for CHR through Program Transformation

    Weert, Peter (et al.)

    Pages 59-73

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-78769-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-540-78768-6
  • 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
17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Editors
  • Andy King
Series Title
Theoretical Computer Science and General Issues
Series Volume
4915
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-78769-3
DOI
10.1007/978-3-540-78769-3
Softcover ISBN
978-3-540-78768-6
Edition Number
1
Number of Pages
X, 222
Topics