Theoretical Computer Science and General Issues

Logic-Based Program Synthesis and Transformation

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Editors: Puebla, Germán (Ed.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-71410-1
  • 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-71409-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (16 chapters)

  • How to Talk to a Human: The Semantic Web and the Clash of the Titans

    Marchiori, Massimo

    Pages 1-14

  • CHESS: Systematic Stress Testing of Concurrent Software

    Musuvathi, Madan (et al.)

    Pages 15-16

  • ARM: Automatic Rule Miner

    Abdennadher, Slim (et al.)

    Pages 17-25

  • Constructing Consensus Logic Programs

    Sakama, Chiaki (et al.)

    Pages 26-42

  • Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques

    Leuschel, Michael (et al.)

    Pages 43-59

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-71410-1
  • 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-71409-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
16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Editors
  • Germán Puebla
Series Title
Theoretical Computer Science and General Issues
Series Volume
4407
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-71410-1
DOI
10.1007/978-3-540-71410-1
Softcover ISBN
978-3-540-71409-5
Edition Number
1
Number of Pages
VIII, 240
Topics