Theoretical Computer Science and General Issues

Logic Based Program Synthesis and Transformation

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Editors: Hill, Patricia M. (Ed.)

Free Preview

Buy this book

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

Table of contents (11 chapters)

Table of contents (11 chapters)
  • Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

    Pages 1-5

    Fages, François

  • Declarative Programming with Function Patterns

    Pages 6-22

    Antoy, Sergio (et al.)

  • Transformational Verification of Parameterized Protocols Using Array Formulas

    Pages 23-43

    Pettorossi, Alberto (et al.)

  • Design and Implementation of ${\mathcal A}_T$: A Real-Time Action Description Language

    Pages 44-60

    Simon, Luke (et al.)

  • An Algorithm for Local Variable Elimination in Normal Logic Programs

    Pages 61-79

    Álvez, Javier (et al.)

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-540-32656-4
  • 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 in USD
  • ISBN 978-3-540-32654-0
  • 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
15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Editors
  • Patricia M. Hill
Series Title
Theoretical Computer Science and General Issues
Series Volume
3901
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-32656-4
DOI
10.1007/11680093
Softcover ISBN
978-3-540-32654-0
Edition Number
1
Number of Pages
X, 182
Topics