Bishoksan Kafle, John P. Gallagher. Constraint Specialisation in Horn Clause Verification. In Kenichi Asai, Kostis Sagonas, editors, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. pages 85-90, ACM, 2015. [doi]
@inproceedings{KafleG15-0,
title = {Constraint Specialisation in Horn Clause Verification},
author = {Bishoksan Kafle and John P. Gallagher},
year = {2015},
doi = {10.1145/2678015.2682544},
url = {http://doi.acm.org/10.1145/2678015.2682544},
researchr = {https://researchr.org/publication/KafleG15-0},
cites = {0},
citedby = {0},
pages = {85-90},
booktitle = {Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
editor = {Kenichi Asai and Kostis Sagonas},
publisher = {ACM},
isbn = {978-1-4503-3297-2},
}