Lecture Notes in Computer Science

Logic Based Program Synthesis and Transformation

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Editors: Pettorossi, Alberto (Ed.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-45607-0
  • 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-43915-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (14 chapters)

Table of contents (14 chapters)
  • Static Analysis for Safe Destructive Updates in a Functional Language

    Shankar, Natarajan

    Pages 1-24

  • A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs

    Potikas, Petros (et al.)

    Pages 25-45

  • On Deforesting Parameters of Accumulating Maps

    Kakehi, Kazuhiko (et al.)

    Pages 46-56

  • Equivalence in Answer Set Programming

    Osorio, Mauricio (et al.)

    Pages 57-75

  • Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

    Delzanno, Giorgio (et al.)

    Pages 76-90

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-45607-0
  • 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-43915-8
  • 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
11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Editors
  • Alberto Pettorossi
Series Title
Lecture Notes in Computer Science
Series Volume
2372
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45607-0
DOI
10.1007/3-540-45607-4
Softcover ISBN
978-3-540-43915-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 272
Topics