![Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Author:
Falaschi, Moreno. editor.
ISBN:
9783319274362
Edition:
1st ed. 2015.
Physical Description:
XVII, 385 p. 88 illus. in color. online resource.
Series:
Theoretical Computer Science and General Issues, 9527
Contents:
Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types and security -- Optimization -- Static analysis -- Automated Verication -- Program debugging and slicing -- Smart Environments -- Program Transformation -- Constraint Solving and Programming. .
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-27436-2Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 518861-1001 | XX(518861.1) | Searching... | Searching... |