LOPSTR

AcronymDefinition
LOPSTRLogic-based Program Synthesis and Transformation (International Symposium)
LOPSTRLogic Based Program Synthesis and Transformation
References in periodicals archive ?
In Proceedings of the International Workshop on Logic Program Synthesis and Transformation, LOPSTR '96, J.
In Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'97.
We also thank the following persons for interesting comments and/or stimulating discussions on this work: Eddy Bevers, Bart Demoen, Andre de Waal, Robert Gluck, Manuel Hermenegildo, Neil Jones, Jesper Jorgensen, Laura Lafave, Dominique Meulemans, Torben Mogensen, Kristian Nielsen, Alberto Pettorossi, Maurizio Proietti, Dan Sahlin, David Sands, Morten Heine Sorensen, Valentin Turchin, Wim Vanhoof, and the anonymous referees, also of LOPSTR'95 and the 1996 Dagstuhl Seminar on Partial Evaluation.