%0 Conference Paper %1 conf/padl/MeraTLH11 %A Mera, Edison %A Trigo, Teresa %A López-García, Pedro %A Hermenegildo, Manuel V. %B PADL %D 2011 %E Rocha, Ricardo %E Launchbury, John %I Springer %K dblp %P 38-53 %T Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. %U http://dblp.uni-trier.de/db/conf/padl/padl2011.html#MeraTLH11 %V 6539 %@ 978-3-642-18377-5

@inproceedings{conf/padl/MeraTLH11, added-at = {2021-04-09T00:00:00.000+0200}, author = {Mera, Edison and Trigo, Teresa and López-García, Pedro and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/285a75eb937a4312ec139fc8a54f130c1/dblp}, booktitle = {PADL}, crossref = {conf/padl/2011}, editor = {Rocha, Ricardo and Launchbury, John}, ee = {https://doi.org/10.1007/978-3-642-18378-2_6}, interhash = {197e9ae3c9b9eba0e4c352f9465becca}, intrahash = {85a75eb937a4312ec139fc8a54f130c1}, isbn = {978-3-642-18377-5}, keywords = {dblp}, pages = {38-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:58:18.000+0200}, title = {Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2011.html#MeraTLH11}, volume = 6539, year = 2011 }