Logic Program Synthesis and Transformation: Proceedings of Lopstr 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-La

by Yves Deville

This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine...

• Format: Paperback
• Language: English
• ISBN: 3540198644
• ISBN13: 9783540198642
• Release Date: January 1994
• Publisher: Springer
• Length: 245 Pages
• Weight: 0.82 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"