Ángel Herranz-Nieva, Julio Mariño. Synthesis of Logic Programs from Object-Oriented Formal Specifications. In John P. Gallagher, Michael Gelfond, editors, Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA. Volume 11 of LIPIcs, pages 95-105, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]
@inproceedings{Herranz-NievaM11,
title = {Synthesis of Logic Programs from Object-Oriented Formal Specifications},
author = {Ángel Herranz-Nieva and Julio Mariño},
year = {2011},
doi = {10.4230/LIPIcs.ICLP.2011.95},
url = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.95},
tags = {object-oriented programming, logic programming, subject-oriented programming, logic, feature-oriented programming},
researchr = {https://researchr.org/publication/Herranz-NievaM11},
cites = {0},
citedby = {0},
pages = {95-105},
booktitle = {Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA},
editor = {John P. Gallagher and Michael Gelfond},
volume = {11},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-31-6},
}