Andy King, editor, Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Volume 4915 of Lecture Notes in Computer Science, Springer, 2008.
Conference: LOPSTR2008
@proceedings{lopstr:2007,
title = {Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers},
year = {2008},
tags = {logic programming, logic, transformation, program transformation},
researchr = {https://researchr.org/publication/lopstr%3A2007},
cites = {0},
citedby = {0},
booktitle = {Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers},
conference = {LOPSTR},
editor = {Andy King},
volume = {4915},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-78768-6},
}