Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr'96, Stockholm, Sweden, August 28-30, 1996, Proceedings 1997 Edition Contributor(s): Gallagher, John (Editor) |
|
ISBN: 3540627189 ISBN-13: 9783540627180 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: March 1997 |
Additional Information |
BISAC Categories: - Computers | Programming - Object Oriented - Computers | Logic Design - Mathematics | Logic |
Dewey: 005.115 |
LCCN: 97007994 |
Series: Advances in Polymer Science, |
Physical Information: 0.71" H x 6.14" W x 9.21" (1.05 lbs) 331 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |