{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:05Z","timestamp":1761611225943,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T00:00:00Z","timestamp":1216080000000},"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":[[2008,7,15]]},"DOI":"10.1145\/1389449.1389468","type":"proceedings-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:39Z","timestamp":1216734399000},"page":"152-162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["A type system for safe memory management and its proof of correctness"],"prefix":"10.1145","author":[{"given":"Manuel","family":"Montenegro","sequence":"first","affiliation":[{"name":"Univ. Complutense de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Pe\u00f1a","sequence":"additional","affiliation":[{"name":"Univ. Complutense de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clara","family":"Segura","sequence":"additional","affiliation":[{"name":"Univ. Complutense de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,7,15]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/207110.207137"},{"key":"e_1_3_2_1_2_1","first-page":"36","volume-title":"ESOP'02","author":"Aspinall D.","year":"2002","unstructured":"D. Aspinall and M. Hofmann . Another Type System for in-place Updating . In ESOP'02 , LNCS 2305, pages 36 -- 52 . Springer-Verlag , 2002 . D. Aspinall and M. Hofmann. Another Type System for in-place Updating. In ESOP'02, LNCS 2305, pages 36--52. Springer-Verlag, 2002."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1017\/S0956796807006399"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/237721.237771"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1007\/11693024_2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/604131.604148"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/317636.317785"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/292540.292546"},{"key":"e_1_3_2_1_9_1","first-page":"8","volume-title":"Proc. 19th Int. Symp. on Implementation and Application of Functional Languages, IFL'07","author":"Lucas S.","year":"2007","unstructured":"S. Lucas and R. Pe\u00f1a . Termination and Complexity Bounds for SAFE Programs . In Proc. 19th Int. Symp. on Implementation and Application of Functional Languages, IFL'07 , Freiburg , Sept. 2007 , pages 8 -- 23 , 2007. S. Lucas and R. Pe\u00f1a. Termination and Complexity Bounds for SAFE Programs. In Proc. 19th Int. Symp. on Implementation and Application of Functional Languages, IFL'07, Freiburg, Sept. 2007, pages 8--23, 2007."},{"key":"e_1_3_2_1_10_1","first-page":"1","volume-title":"Proc. 8th Symp. on Trends in Functional Programming, TFP'07","author":"Montenegro M.","year":"2007","unstructured":"M. Montenegro , R. Pe\u00f1a , and C. Segura . An Inference Algorithm for Guaranteeing Safe Destruction . In Proc. 8th Symp. on Trends in Functional Programming, TFP'07 . New York , April 2007 , pages XIV- 1 -- 16 , 2007. M. Montenegro, R. Pe\u00f1a, and C. Segura. An Inference Algorithm for Guaranteeing Safe Destruction. In Proc. 8th Symp. on Trends in Functional Programming, TFP'07. New York, April 2007, pages XIV-1--16, 2007."},{"key":"e_1_3_2_1_11_1","volume-title":"Siena","author":"Montenegro M.","year":"2008","unstructured":"M. Montenegro , R. Pe\u00f1a , and C. Segura . A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation, 2008. Submitted to 17th Int'l Workshop on Functional and (Constraint) Logic Programming , Siena , Italy July , 2008 . M. Montenegro, R. Pe\u00f1a, and C. Segura. A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation, 2008. Submitted to 17th Int'l Workshop on Functional and (Constraint) Logic Programming, Siena, Italy July, 2008."},{"key":"e_1_3_2_1_12_1","first-page":"1","volume-title":"Ninth Symposium on Trends in Functional Programming, TFP'08","author":"Montenegro M.","year":"2008","unstructured":"M. Montenegro , R. Pe\u00f1a , and C. Segura . A Simple Region Inference Algorithm for a First-Order Functional Language . In Ninth Symposium on Trends in Functional Programming, TFP'08 , Nijmegen, The Netherlands , May . 2008 , pages XV- 1 -- 15 , 2008. M. Montenegro, R. Pe\u00f1a, and C. Segura. A Simple Region Inference Algorithm for a First-Order Functional Language. In Ninth Symposium on Trends in Functional Programming, TFP'08, Nijmegen, The Netherlands, May. 2008, pages XV-1--15, 2008."},{"key":"e_1_3_2_1_13_1","volume-title":"Universidad Complutense de Madrid","author":"Montenegro M.","year":"2008","unstructured":"M. Montenegro , R. Pe\u00f1a , and C. Segura . A type system for safe memory management and its proof of correctness. Technical report, Dpto. de Sistemas Informticos y Computaci\u00f3n . Universidad Complutense de Madrid , 2008 . Technical Report SIC-5-08. M. Montenegro, R. Pe\u00f1a, and C. Segura. A type system for safe memory management and its proof of correctness. Technical report, Dpto. de Sistemas Informticos y Computaci\u00f3n. Universidad Complutense de Madrid, 2008. Technical Report SIC-5-08."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/263699.263712"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/277650.277752"},{"key":"e_1_3_2_1_16_1","volume-title":"Isabelle\/HOL. A Proof Assistant for Higher-Order Logic. Number 2283 in LNCS","author":"Nipkow T.","year":"2002","unstructured":"T. Nipkow , L. Paulson , and M. Wenzel . Isabelle\/HOL. A Proof Assistant for Higher-Order Logic. Number 2283 in LNCS . Springer , 2002 . T. Nipkow, L. Paulson, and M. Wenzel. Isabelle\/HOL. A Proof Assistant for Higher-Order Logic. Number 2283 in LNCS. Springer, 2002."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-55253-7_23","volume-title":"Observers for Linear Types. In ESOP'92","author":"Odersky M.","year":"1992","unstructured":"M. Odersky . Observers for Linear Types. In ESOP'92 , LNCS 582, pages 390 -- 407 . Springer-Verlag , 1992 . M. Odersky. Observers for Linear Types. In ESOP'92, LNCS 582, pages 390--407. Springer-Verlag, 1992."},{"key":"e_1_3_2_1_18_1","first-page":"109","volume-title":"Selected Papers of the 7th Symp. on Trends in Functional Programming, TFP'06","author":"Pe\u00f1a R.","year":"2007","unstructured":"R. Pe\u00f1a , C. Segura , and M. Montenegro . A Sharing Analysis for SAFE . In Selected Papers of the 7th Symp. on Trends in Functional Programming, TFP'06 ., pages 109 -- 128 . Intellect , 2007 . R. Pe\u00f1a, C. Segura, and M. Montenegro. A Sharing Analysis for SAFE. In Selected Papers of the 7th Symp. on Trends in Functional Programming, TFP'06., pages 109--128. Intellect, 2007."},{"key":"e_1_3_2_1_19_1","volume-title":"Programming with regions in the MLKit (revised for version 4.3.0). Technical report","author":"Tofte M.","year":"2006","unstructured":"M. Tofte , L. Birkedal , M. Elsman , N. Hallenberg , T. H. Olesen , and P. Sestoft . Programming with regions in the MLKit (revised for version 4.3.0). Technical report , IT University of Copenhagen , Denmark , 2006 . M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T. H. Olesen, and P. Sestoft. Programming with regions in the MLKit (revised for version 4.3.0). Technical report, IT University of Copenhagen, Denmark, 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1006\/inco.1996.2613"},{"key":"e_1_3_2_1_21_1","first-page":"561","volume-title":"Linear types can change the world! In IFIP TC 2 Working Conference on Programming Concepts and Methods","author":"Wadler P.","year":"1990","unstructured":"P. Wadler . Linear types can change the world! In IFIP TC 2 Working Conference on Programming Concepts and Methods , pages 561 -- 581 . North Holland , 1990 . P. Wadler. Linear types can change the world! In IFIP TC 2 Working Conference on Programming Concepts and Methods, pages 561--581. North Holland, 1990."}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"acronym":"PPDP08","name":"PPDP08: Principles and Practice of Declarative Programming","location":"Valencia Spain"},"container-title":["Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389468","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1389449.1389468","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:38Z","timestamp":1750255058000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389468"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,15]]},"references-count":21,"alternative-id":["10.1145\/1389449.1389468","10.1145\/1389449"],"URL":"https:\/\/doi.org\/10.1145\/1389449.1389468","relation":{},"subject":[],"published":{"date-parts":[[2008,7,15]]},"assertion":[{"value":"2008-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}