Spara
Logic-Based Program Synthesis and Transformation
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.
- Undertitel
- 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
- Redaktör
- Maurizio Proietti, Hirohisa Seki
- Upplaga
- 2015 ed.
- ISBN
- 9783319178219
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2015-05-04
- Sidor
- 333
