Logic-Based Program Synthesis and Transformation - Info and Reading Options
By Elvira Albert
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Elvira Albert
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Logic programming - Transformations (mathematics) - Artificial Intelligence (incl. Robotics) - Software engineering - Computer science - Logic design - Computational complexity - Artificial intelligence - Programming Techniques - Mathematical Logic and Formal Languages - Discrete Mathematics in Computer Science - Logics and Meanings of Programs
Edition Identifiers:
- The Open Library ID: OL20683598W
AI-generated Review of “Logic-Based Program Synthesis and Transformation”:
"Logic-Based Program Synthesis and Transformation" Description:
The Open Library:
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
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.
- The WorldCat Libraries Catalog: Find a copy of “Logic-Based Program Synthesis and Transformation” at a library near you.
Buy “Logic-Based Program Synthesis and Transformation” online:
Shop for “Logic-Based Program Synthesis and Transformation” on popular online marketplaces.
- Ebay: New and used books.