Cover Image

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Fioravanti, Fabio. (Editor, http://id.loc.gov/vocabulary/relators/edt), Gallagher, John P. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:1st ed. 2018.
Series:Theoretical Computer Science and General Issues ; 10855
Subjects:
Computer logic.
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Artificial intelligence.
Mathematical logic.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-319-94460-9

Internet

https://doi.org/10.1007/978-3-319-94460-9

Similar Items