{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:36:52Z","timestamp":1725565012898},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642324949"},{"type":"electronic","value":"9783642324956"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32495-6_4","type":"book-chapter","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T07:54:08Z","timestamp":1342252448000},"page":"54-71","source":"Crossref","is-referenced-by-count":4,"title":["Interval-Based Resource Usage Verification: Formalization and Prototype"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Lopez-Garcia","sequence":"first","affiliation":[]},{"given":"Luthfi","family":"Darmawan","sequence":"additional","affiliation":[]},{"given":"Francisco","family":"Bueno","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-15331-0_1","volume-title":"Foundational and Practical Aspects of Resource Analysis","author":"E. Albert","year":"2010","unstructured":"Albert, E., Arenas, P., Genaim, S., Herraiz, I., Puebla, G.: Comparing Cost Functions in Resource Analysis. In: van Eekelen, M., Shkaravska, O. (eds.) FOPARA 2009. LNCS, vol.\u00a06324, pp. 1\u201317. Springer, Heidelberg (2010)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: A Static Analyzer for Large Safety-Critical Software. In: Proc. of PLDI 2003. ACM Press (2003)","DOI":"10.1145\/781131.781153"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bourdoncle, F.: Abstract debugging of higher-order imperative languages. In: Programming Languages Design and Implementation 1993, pp. 46\u201355 (1993)","DOI":"10.1145\/173262.155095"},{"key":"4_CR4","unstructured":"Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Maluszynski, J., Puebla, G.: On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In: Proc. of the 3rd. Int\u2019l WS on Automated Debugging\u2013AADEBUG, pp. 155\u2013170. U. Link\u00f6ping Press (May 1997)"},{"issue":"1-3","key":"4_CR5","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(98)10033-X","volume":"39","author":"M. Comini","year":"1999","unstructured":"Comini, M., Levi, G., Meo, M.C., Vitiello, G.: Abstract diagnosis. Journal of Logic Programming\u00a039(1-3), 43\u201393 (1999)","journal-title":"Journal of Logic Programming"},{"key":"4_CR6","first-page":"275","volume-title":"ILPS 1995","author":"M. Comini","year":"1995","unstructured":"Comini, M., Levi, G., Vitiello, G.: Declarative diagnosis revisited. In: ILPS 1995, Portland, Oregon, pp. 275\u2013287. MIT Press, Cambridge (1995)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-36384-X_4","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P. Cousot","year":"2002","unstructured":"Cousot, P.: Automatic Verification by Abstract Interpretation. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 20\u201324. Springer, Heidelberg (2002)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. of POPL 1977, pp. 238\u2013252. ACM Press (1977)","DOI":"10.1145\/512950.512973"},{"key":"4_CR9","unstructured":"Galassi, M., Davies, J., Theiler, J., Gough, B., Jungman, G., Alken, P., Booth, M., Rossi, F.: GNU Scientific Library Reference Manual. Network Theory Ltd. (2009), http:\/\/www.gnu.org\/software\/gsl\/"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F.: Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. In: The Logic Programming Paradigm: a 25\u2013Year Perspective, pp. 161\u2013192. Springer (1999)","DOI":"10.1007\/978-3-642-60085-2_7"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., L\u00f3pez Garc\u00eda, P.: Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Comp.\u00a0Progr.\u00a058(1-2) (2005)","DOI":"10.1016\/j.scico.2005.02.006"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Lichtenstein, Y., Shapiro, E.Y.: Abstract algorithmic debugging. In: Kowalski, R.A., Bowen, K.A. (eds.) Fifth International Conference and Symposium on Logic Programming, Seattle, Washington, pp. 512\u2013531. MIT (August 1988)","DOI":"10.1145\/68210.69239"},{"key":"4_CR13","unstructured":"L\u00f3pez-Garc\u00eda, P., Darmawan, L., Bueno, F.: A Framework for Verification and Debugging of Resource Usage Properties. In: Technical Communications of ICLP. LIPIcs, vol.\u00a07, pp. 104\u2013113. Schloss Dagstuhl (July 2010)"},{"key":"4_CR14","unstructured":"L\u00f3pez-Garc\u00eda, P., Darmawan, L., Bueno, F., Hermenegildo, M.: Towards Resource Usage Function Verification based on Input Data Size Intervals. Technical Report CLIP4\/2011.0, UPM (2011), http:\/\/cliplab.org\/papers\/resource-verif-11-tr.pdf"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-78769-3_11","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M. M\u00e9ndez-Lojo","year":"2008","unstructured":"M\u00e9ndez-Lojo, M., Navas, J., Hermenegildo, M.V.: A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs. In: King, A. (ed.) LOPSTR 2007. LNCS, vol.\u00a04915, pp. 154\u2013168. Springer, Heidelberg (2008)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-02846-5_25","volume-title":"Logic Programming","author":"E. Mera","year":"2009","unstructured":"Mera, E., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.: Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 281\u2013295. Springer, Heidelberg (2009)"},{"issue":"2\/3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K. Muthukumar","year":"1992","unstructured":"Muthukumar, K., Hermenegildo, M.: Compile-time Derivation of Variable Dependency Using Abstract Interpretation. JLP\u00a013(2\/3), 315\u2013347 (1992)","journal-title":"JLP"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Navas, J., M\u00e9ndez-Lojo, M., Hermenegildo, M.: User-Definable Resource Usage Bounds Analysis for Java Bytecode. In: BYTECODE 2009. ENTCS, vol.\u00a0253, pp. 6\u201386. Elsevier (March 2009)","DOI":"10.1016\/j.entcs.2009.11.015"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-540-74610-2_24","volume-title":"Logic Programming","author":"J. Navas","year":"2007","unstructured":"Navas, J., Mera, E., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.: User-Definable Resource Bounds Analysis for Logic Programs. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 348\u2013363. Springer, Heidelberg (2007)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/10722311_2","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In: Deransart, P., Ma\u0142uszy\u0144ski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, pp. 23\u201361. Springer, Heidelberg (2000)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/10720327_16","volume-title":"Logic-Based Program Synthesis and Transformation","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol.\u00a01817, pp. 273\u2013292. Springer, Heidelberg (2000)"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-45789-5_10","volume-title":"Static Analysis","author":"C. Vaucheret","year":"2002","unstructured":"Vaucheret, C., Bueno, F.: More Precise yet Efficient Type Inference for Logic Programs. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 102\u2013116. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Foundational and Practical Aspects of Resource Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32495-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,21]],"date-time":"2022-01-21T05:28:03Z","timestamp":1642742883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32495-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642324949","9783642324956"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32495-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}