Vincent Nys
Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction
ICLP, 2015.
@inproceedings{ICLP-2015-Nys, author = "Vincent Nys", booktitle = "{Technical Communications of the 31st International Conference on Logic Programming}", ee = "http://ceur-ws.org/Vol-1433/dc_7.pdf", pages = "348--357", publisher = "{CEUR-WS.org}", series = "{CEUR Workshop Proceedings}", title = "{Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction}", volume = 1433, year = 2015, }