Related Books

Logic Program Synthesis and Transformation - Meta-Programming in Logic
Language: en
Pages: 468
Authors: Laurent Fribourg
Categories: Computers
Type: BOOK - Published: 1994-11-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Progr
Logic Program Synthesis and Transformation
Language: en
Pages: 258
Authors: Yves Deville
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in
Logic Program Synthesis and Transformation
Language: en
Pages: 284
Authors: Maurizio Proietti
Categories: Computers
Type: BOOK - Published: 1996-03-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The
Logic Program Synthesis and Transformation
Language: en
Pages: 282
Authors: Kung-Kiu Lau
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supp
Logic Program Synthesis and Transformation
Language: en
Pages: 345
Authors: Timothy P. Clement
Categories: Computers
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but