Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers ... Notes in Computer Science Book 8981)
Product details
| Management number | 232087357 | Release Date | 2026/06/18 | List Price | $14.98 | Model Number | 232087357 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. 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. Read more
| ASIN | B00WJDPPYM |
|---|---|
| XRay | Not Enabled |
| ISBN13 | 978-3319178226 |
| Edition | 2015th |
| Language | English |
| File size | 19.0 MB |
| Page Flip | Enabled |
| Publisher | Springer |
| Word Wise | Not Enabled |
| Print length | 651 pages |
| Accessibility | Learn more |
| Screen Reader | Supported |
| Publication date | April 22, 2015 |
| Enhanced typesetting | Enabled |
Bestseller ranking
LED License Plate Lights
Customers who viewed this product also viewed
Heating, Cooling & Air Quality
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form