Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Lecture Notes in Computer Science

Logic Program Synthesis and Transformation

6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings

Editors: Gallagher, John (Ed.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-68494-7
  • Digitally watermarked, DRM-free
  • Included format:
  • 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-62718-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.
The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Table of contents (18 chapters)

Table of contents (18 chapters)
  • Refining specifications to logic programs

    Pages 1-19

    Hayes, I. J. (et al.)

  • Symbolic verification with gap-order constraints

    Pages 20-37

    Fribourg, Laurent (et al.)

  • Specification-based automatic verification of Prolog programs

    Pages 38-57

    Cortesi, Agostino (et al.)

  • Logic program specialisation: How to be more specific

    Pages 58-58

    Leuschel, Michael (et al.)

  • Conjunctive partial deduction in practice

    Pages 59-82

    Jørgensen, Jesper (et al.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-68494-7
  • Digitally watermarked, DRM-free
  • Included format:
  • 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-62718-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 Program Synthesis and Transformation
Book Subtitle
6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings
Editors
  • John Gallagher
Series Title
Lecture Notes in Computer Science
Series Volume
1207
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-68494-7
DOI
10.1007/3-540-62718-9
Softcover ISBN
978-3-540-62718-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
IX, 331
Topics