Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10855)

Logic-Based Program Synthesis and Transformation - 9783030988685

Theory and Practice of Model Transformations: 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. ... (Lecture Notes in Computer Science, 9152)

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)

Prolog: The Next 50 Years: 13900 (Lecture Notes in Computer Science, 13900)