Inproceedings,
Assertion-based Debugging of Higher-Order (C)LP Programs.
N. Stulova, J. Morales, and M. Hermenegildo.PPDP, page 225-235. ACM, (2014)
Meta data
- BibTeX key
- conf/ppdp/StulovaMH14
- entry type
- inproceedings
- booktitle
- PPDP
- year
- 2014
- pages
- 225-235
- publisher
- ACM
- crossref
- conf/ppdp/2014
- ee
- https://doi.org/10.1145/2643135.2643148
- isbn
- 978-1-4503-2947-7
- url
- http://dblp.uni-trier.de/db/conf/ppdp/ppdp2014.html#StulovaMH14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ppdp/StulovaMH14
%A Stulova, Nataliia
%A Morales, José F.
%A Hermenegildo, Manuel V.
%B PPDP
%D 2014
%E Chitil, Olaf
%E King, Andy
%E Danvy, Olivier
%I ACM
%K dblp
%P 225-235
%T Assertion-based Debugging of Higher-Order (C)LP Programs.
%U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2014.html#StulovaMH14
%@ 978-1-4503-2947-7
@inproceedings{conf/ppdp/StulovaMH14,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Stulova, Nataliia and Morales, José F. and Hermenegildo, Manuel V.},
biburl = {https://www.bibsonomy.org/bibtex/2c638fc84f083f2b9f8bbfda996cc8df2/dblp},
booktitle = {PPDP},
crossref = {conf/ppdp/2014},
editor = {Chitil, Olaf and King, Andy and Danvy, Olivier},
ee = {https://doi.org/10.1145/2643135.2643148},
interhash = {300b4b8560b4953e492d4ae04ec61ce9},
intrahash = {c638fc84f083f2b9f8bbfda996cc8df2},
isbn = {978-1-4503-2947-7},
keywords = {dblp},
pages = {225-235},
publisher = {ACM},
timestamp = {2024-04-10T05:43:22.000+0200},
title = {Assertion-based Debugging of Higher-Order (C)LP Programs.},
url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2014.html#StulovaMH14},
year = 2014
}