Tallenna
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.
- Alaotsikko
- 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
- Toimittaja
- Maurizio Proietti, Hirohisa Seki
- Painos
- 2015 ed.
- ISBN
- 9783319178219
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 4.5.2015
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 333
