Stock image for illustration purposes only - book cover, edition or condition may vary.
Logic Program Synthesis and Transformation
Yves . Ed(S): Deville
€ 64.18
FREE Delivery in Ireland
Description for Logic Program Synthesis and Transformation
Paperback. Logic program synthesis and transformation play a vital role in the automation of the software production process. This volume of conference proceedings surveys the research in progress and discusses new trends in logic program development and related areas. Editor(s): Deville, Yves. Series: Workshops in Computing. Num Pages: 245 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 450.
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 support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing a uniform declarative notation for precisely describing application domains, software ... Read more
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 support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing a uniform declarative notation for precisely describing application domains, software ... Read more
Product Details
Format
Paperback
Publication date
1994
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
245
Condition
New
Series
Workshops in Computing
Number of Pages
245
Place of Publication
Berlin, Germany
ISBN
9783540198642
SKU
V9783540198642
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logic Program Synthesis and Transformation