"Logic Based Program Synthesis and Transformation" - Information and Links:

Logic Based Program Synthesis and Transformation - Info and Reading Options

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science)

Book's cover
The cover of “Logic Based Program Synthesis and Transformation” - Open Library.

"Logic Based Program Synthesis and Transformation" is published by Springer in August 5, 2004, it has 233 pages and the language of the book is English.


“Logic Based Program Synthesis and Transformation” Metadata:

  • Title: ➤  Logic Based Program Synthesis and Transformation
  • Author:
  • Language: English
  • Number of Pages: 233
  • Publisher: Springer
  • Publish Date:

Edition Specifications:

  • Format: Paperback
  • Weight: 12 ounces
  • Dimensions: 9.1 x 6 x 0.7 inches

Edition Identifiers:

AI-generated Review of “Logic Based Program Synthesis and Transformation”:


Snippets and Summary:

Program specialisation aims at improving the overall performance of programs by performing source to source transformations.

Read “Logic Based Program Synthesis and Transformation”:

Read “Logic Based Program Synthesis and Transformation” by choosing from the options below.

Search for “Logic Based Program Synthesis and Transformation” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Logic Based Program Synthesis and Transformation” in Libraries Near You:

Read or borrow “Logic Based Program Synthesis and Transformation” from your local library.

Buy “Logic Based Program Synthesis and Transformation” online:

Shop for “Logic Based Program Synthesis and Transformation” on popular online marketplaces.