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,
}











