{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:25:11Z","timestamp":1737523511674,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433637"},{"type":"electronic","value":"9783540459279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45927-8_1","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T09:39:04Z","timestamp":1192786744000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Type Checking Systems Code"],"prefix":"10.1007","author":[{"given":"Greg","family":"Morrisett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"1_CR1","series-title":"Technical Report","volume-title":"Efficient detection of all pointer and array access errors","author":"T. M. Austin","year":"1993","unstructured":"Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi. Efficient detection of all pointer and array access errors. Technical Report 1197, University of Wisconsin-Madison, December 1993."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi. Efficient detection of all pointer and array access errors. In ACM Conference on Programming Language Design and Implementation, pages 290\u2013301, June 1994.","DOI":"10.1145\/178243.178446"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Lars Birkedal, Mads Tofte, and Magnus Vejlstrup. From region inference to von Neumann machines via region representation inference. In Twenty-Third ACM Symposium on Principles of Programming Languages, pages 171\u2013183, St. Petersburg Beach, FL, January 1996.","DOI":"10.1145\/237721.237771"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, California, October 2000.","DOI":"10.21236\/ADA419626"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"George C. Necula, Scott McPeak, and Westley Weimer. CCured: Type-safe retrofitting of legacy code. In Twenty-Ninth ACM Symposium on Principles of Programming Languages, pages 128\u2013139, Portland, OR, January 2002.","DOI":"10.1145\/503272.503286"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Mads Tofte and Jean-Pierre Talpin. Implementing the call-by-value lambdacalculus using a stack of regions. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 188\u2013201, January 1994.","DOI":"10.1145\/174675.177855"},{"issue":"2","key":"1_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Mads Tofte and Jean-Pierre Talpin. Region-based memory management. Information and Computation, 132(2):109\u2013176, 1997.","journal-title":"Information and Computation"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"David Walker and Kevin Watkins. On regions and linear types. In ACM International Conference on Functional Programming, pages 181\u2013192, September 2001.","DOI":"10.1145\/507635.507658"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Hongwei Xi. Imperative programming with dependent types. In Proceedings of 15th IEEE Symposium on Logic in Computer Science, pages 375\u2013387, Santa Barbara, June 2000.","DOI":"10.1109\/LICS.2000.855785"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45927-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:13:33Z","timestamp":1737486813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45927-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433637","9783540459279"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45927-8_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}