{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:56:05Z","timestamp":1750308965345,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,7,11]],"date-time":"2005-07-11T00:00:00Z","timestamp":1121040000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,7,11]]},"DOI":"10.1145\/1069774.1069775","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Abstraction carrying code and resource-awareness"],"prefix":"10.1145","author":[{"given":"Manuel V.","family":"Hermenegildo","sequence":"first","affiliation":[{"name":"T. U. of Madrid, Madrid, Spain and U. of New Mexico, Albuquerque, NM"}]},{"given":"Elvira","family":"Albert","sequence":"additional","affiliation":[{"name":"Complutense U. of Madrid, Madrid, Spain"}]},{"given":"Pedro","family":"L\u00f3pez-Garc\u00eda","sequence":"additional","affiliation":[{"name":"T. U. of Madrid, Madrid, Spain"}]},{"given":"Germ\u00e1n","family":"Puebla","sequence":"additional","affiliation":[{"name":"T. U. of Madrid, Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2005,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of Compiler Optimization meets Compiler Verification (COCV'04)","author":"Albert E.","year":"2004","unstructured":"E. Albert , G. Puebla , and M. Hermenegildo . An Abstract Interpretation-based Approach to Mobile Code Safety . In Proc. of Compiler Optimization meets Compiler Verification (COCV'04) , April 2004 . E. Albert, G. Puebla, and M. Hermenegildo. An Abstract Interpretation-based Approach to Mobile Code Safety. In Proc. of Compiler Optimization meets Compiler Verification (COCV'04), April 2004."},{"volume-title":"Abstraction-Carrying Code. In 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'04)","author":"Albert E.","key":"e_1_3_2_1_2_1","unstructured":"E. Albert , G. Puebla , and M. Hermenegildo . Abstraction-Carrying Code. In 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'04) , number 3452 in LNAI, pages 380--397. Springer-Verlag, March 2005. E. Albert, G. Puebla, and M. Hermenegildo. Abstraction-Carrying Code. In 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'04), number 3452 in LNAI, pages 380--397. Springer-Verlag, March 2005."},{"key":"e_1_3_2_1_3_1","first-page":"411","volume-title":"Proc. of ICLP'99","author":"Appel A.","year":"1999","unstructured":"A. Appel and A. Felty . Lightweight Lemmas in lambda-Prolog . In Proc. of ICLP'99 , pages 411 -- 425 . MIT Press , 1999 . A. Appel and A. Felty. Lightweight Lemmas in lambda-Prolog. In Proc. of ICLP'99, pages 411--425. MIT Press, 1999."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/648238.751565"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)80001-T"},{"key":"e_1_3_2_1_6_1","first-page":"155","volume-title":"Proc. of the 3rd. Int'l Workshop on Automated Debugging--AADEBUG'97","author":"Bueno F.","year":"1997","unstructured":"F. Bueno , P. Deransart , W. Drabent , G. Ferrand , M. Hermenegildo , J. Maluszynski , and G. Puebla . On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs . In Proc. of the 3rd. Int'l Workshop on Automated Debugging--AADEBUG'97 , pages 155 -- 170 , Link\u00f6ping, Sweden , May 1997 . U. of Link\u00f6ping Press. F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In Proc. of the 3rd. Int'l Workshop on Automated Debugging--AADEBUG'97, pages 155--170, Link\u00f6ping, Sweden, May 1997. U. of Link\u00f6ping Press."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/174625.174627"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263744"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"volume-title":"Lin. Estimating the Computational Cost of Logic Programs. In Static Analysis Symposium, SAS'94","author":"Debray S.","key":"e_1_3_2_1_11_1","unstructured":"S. Debray , P. L\u00f3pez-Garc\u00eda , M. Hermenegildo , and N.- W. Lin. Estimating the Computational Cost of Logic Programs. In Static Analysis Symposium, SAS'94 , number 864 in LNCS, pages 255--265, Namur, Belgium, September 1994. Springer-Verlag. S. Debray, P. L\u00f3pez-Garc\u00eda, M. Hermenegildo, and N.-W. Lin. Estimating the Computational Cost of Logic Programs. In Static Analysis Symposium, SAS'94, number 864 in LNCS, pages 255--265, Namur, Belgium, September 1994. Springer-Verlag."},{"key":"e_1_3_2_1_12_1","first-page":"291","volume-title":"Lin. Lower Bound Cost Estimation for Logic Programs. In 1997 International Logic Programming Symposium","author":"Debray S.","year":"1997","unstructured":"S. Debray , P. L\u00f3pez-Garc\u00eda , M. Hermenegildo , and N.- W. Lin. Lower Bound Cost Estimation for Logic Programs. In 1997 International Logic Programming Symposium , pages 291 -- 305 . MIT Press, Cambridge, MA , October 1997 . S. Debray, P. L\u00f3pez-Garc\u00eda, M. Hermenegildo, and N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. In 1997 International Logic Programming Symposium, pages 291--305. MIT Press, Cambridge, MA, October 1997."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/65979.65983"},{"key":"e_1_3_2_1_14_1","first-page":"599","volume-title":"Waal. Fast and Precise Regular Approximations of Logic Programs. In Proc. of ICLP'94","author":"Gallagher J.","year":"1994","unstructured":"J. Gallagher and D. de Waal. Fast and Precise Regular Approximations of Logic Programs. In Proc. of ICLP'94 , pages 599 -- 613 . MIT Press , 1994 . J. Gallagher and D. de Waal. Fast and Precise Regular Approximations of Logic Programs. In Proc. of ICLP'94, pages 599--613. MIT Press, 1994."},{"key":"e_1_3_2_1_15_1","first-page":"161","volume-title":"Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging","author":"Hermenegildo M.","year":"1999","unstructured":"M. Hermenegildo , G. Puebla , and F. Bueno . Using Global Analysis , Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging . In K. R. Apt, V. Marek, M. Truszczynski, and D. S. Warren, editors, The Logic Programming Paradigm: a 25--Year Perspective, pages 161 -- 192 . Springer-Verlag , July 1999 . M. Hermenegildo, G. Puebla, and F. Bueno. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. In K. R. Apt, V. Marek, M. Truszczynski, and D. S. Warren, editors, The Logic Programming Paradigm: a 25--Year Perspective, pages 161--192. Springer-Verlag, July 1999."},{"volume-title":"10th International Static Analysis Symposium (SAS'03)","author":"Hermenegildo M.","key":"e_1_3_2_1_16_1","unstructured":"M. Hermenegildo , G. Puebla , F. Bueno , and P. L\u00f3pez-Garc\u00eda . Program Development Using Abstract Interpretation (and The Ciao System Preprocessor) . In 10th International Static Analysis Symposium (SAS'03) , number 2694 in LNCS, pages 127--152. Springer-Verlag, June 2003. M. Hermenegildo, G. Puebla, F. Bueno, and P. L\u00f3pez-Garc\u00eda. Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). In 10th International Static Analysis Symposium (SAS'03), number 2694 in LNCS, pages 127--152. Springer-Verlag, June 2003."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349216"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177650"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319345"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90035-2"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646018.678417"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/646018.678418"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/646918.709021"},{"key":"e_1_3_2_1_26_1","first-page":"270","volume-title":"Optimized Algorithms for the Incremental Analysis of Logic Programs. In International Static Analysis Symposium, number 1145 in LNCS","author":"Puebla G.","year":"1996","unstructured":"G. Puebla and M. Hermenegildo . Optimized Algorithms for the Incremental Analysis of Logic Programs. In International Static Analysis Symposium, number 1145 in LNCS , pages 270 -- 284 . Springer-Verlag , September 1996 . G. Puebla and M. Hermenegildo. Optimized Algorithms for the Incremental Analysis of Logic Programs. In International Static Analysis Symposium, number 1145 in LNCS, pages 270--284. Springer-Verlag, September 1996."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0991-94"}],"event":{"name":"PPDP05: Principles and Practice of Declarative Programming 2005","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Lisbon Portugal","acronym":"PPDP05"},"container-title":["Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1069774.1069775","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1069774.1069775","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:38:23Z","timestamp":1750282703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1069774.1069775"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,11]]},"references-count":26,"alternative-id":["10.1145\/1069774.1069775","10.1145\/1069774"],"URL":"https:\/\/doi.org\/10.1145\/1069774.1069775","relation":{},"subject":[],"published":{"date-parts":[[2005,7,11]]},"assertion":[{"value":"2005-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}