Logic-based program synthesis and transformation: 24th international symposium, lopstr 2014, canterbury, uk, september 9-11, 2014. revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783319178219
Date de publication :
4 mai 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.