Logic-based program synthesis and transformation: 28th international symposium, lopstr 2018, frankfurt/main, germany, september 4-6, 2018, revised selected papers
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030138370
Date de publication :
23 févr. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions.