%0 Conference Paper %1 conf/ppdp/KlemenS0MH18 %A Klemen, Maximiliano %A Stulova, Nataliia %A López-García, Pedro %A Morales, José F. %A Hermenegildo, Manuel V. %B PPDP %D 2018 %E Sabel, David %E Thiemann, Peter %I ACM %K dblp %P 13:1-13:13 %T Static Performance Guarantees for Programs with Runtime Checks. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2018.html#KlemenS0MH18

@inproceedings{conf/ppdp/KlemenS0MH18, added-at = {2024-02-05T00:00:00.000+0100}, author = {Klemen, Maximiliano and Stulova, Nataliia and López-García, Pedro and Morales, José F. and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2cf9e0bb1254edeccaa428b353702856e/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2018}, editor = {Sabel, David and Thiemann, Peter}, ee = {https://doi.org/10.1145/3236950.3236970}, interhash = {d71f11a448faa877cc23caf5ba7cf38c}, intrahash = {cf9e0bb1254edeccaa428b353702856e}, keywords = {dblp}, pages = {13:1-13:13}, publisher = {ACM}, timestamp = {2024-04-10T05:43:17.000+0200}, title = {Static Performance Guarantees for Programs with Runtime Checks.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2018.html#KlemenS0MH18}, year = 2018 }