Spar
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.
- Undertittel
- 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
- Redaktør
- Maurizio Proietti, Hirohisa Seki
- Opplag
- 2015 ed.
- ISBN
- 9783319178219
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 4.5.2015
- Antall sider
- 333
