The book is currently out of stock
More about the book
The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.
Book purchase
Logic-Based Program Synthesis and Transformation, Maurizio Proietti
- Language
- Released
- 2015
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.