{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:56Z","timestamp":1772163956461,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,15]],"date-time":"2009-06-15T00:00:00Z","timestamp":1245024000000},"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":[[2009,6,15]]},"DOI":"10.1145\/1542476.1542505","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T09:34:36Z","timestamp":1245144876000},"page":"259-269","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Implementation of the memory-safe full ANSI-C compiler"],"prefix":"10.1145","author":[{"given":"Yutaka","family":"Oiwa","sequence":"first","affiliation":[{"name":"National Institute of Advanced Industrial Science and Technology (AIST), Japan, Tokyo, Japan"}]}],"member":"320","published-online":{"date-parts":[[2009,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"American National Standard Institute. American national standard for information systems -- programming language -- C. ANSI X3.159-1989.  American National Standard Institute. American national standard for information systems -- programming language -- C. ANSI X3.159-1989."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178446"},{"key":"e_1_3_2_1_3_1","unstructured":"Hans Boehm. A garbage collector for C and C++. http: \/\/www.hpl.hp.com\/personal\/Hans Boehm\/gc\/.  Hans Boehm. A garbage collector for C and C++. http: \/\/www.hpl.hp.com\/personal\/Hans Boehm\/gc\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180902"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781157"},{"key":"e_1_3_2_1_6_1","first-page":"63","volume-title":"Proc. 7th USENIX Security Conference","author":"Cowan Crispan","year":"1998"},{"issue":"75","key":"e_1_3_2_1_7_1","first-page":"181","article-title":"Improved stacksmashing attack detection","volume":"2001","author":"Etoh Hiroaki","year":"2001","journal-title":"IPSJ SIG Notes"},{"key":"e_1_3_2_1_8_1","volume-title":"4th Workshop on Dependable Software","author":"Furuse Jun","year":"2006"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512563"},{"key":"e_1_3_2_1_10_1","unstructured":"International Organization for Standards and International Electrotechnical Commission. Programming languages -- C. ISO\/IEC Standard ISO\/IEC 9899: 1990.  International Organization for Standards and International Electrotechnical Commission. Programming languages -- C. ISO\/IEC Standard ISO\/IEC 9899:1990."},{"key":"e_1_3_2_1_11_1","volume-title":"USENIX Annual Technical Conference","author":"Jim Trevor","year":"2002"},{"key":"e_1_3_2_1_12_1","first-page":"13","volume-title":"Automated and Algorithmic Debugging","author":"Richard W.","year":"1997"},{"issue":"1","key":"e_1_3_2_1_13_1","first-page":"139","article-title":"Safe implementation of C pointer arithmetics by translation to Java","volume":"26","author":"Kamijima Yuhki","year":"2009","journal-title":"JSSST"},{"key":"e_1_3_2_1_14_1","unstructured":"Brian W. Kernighan and Dennis M. Ritchie. The Programming Language C. Prentice Hall second edition 1988.   Brian W. Kernighan and Dennis M. Ritchie. The Programming Language C. Prentice Hall second edition 1988."},{"key":"e_1_3_2_1_15_1","volume-title":"Lecture Notes in Computer Science","author":"Loginov Alexey","year":"2001"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_1_17_1","unstructured":"Yutaka Oiwa. Fail-Safe C webpage. https:\/\/staff.aist.go.jp\/y.oiwa\/FailSafeC\/index--en.html.  Yutaka Oiwa. Fail-Safe C webpage. https:\/\/staff.aist.go.jp\/y.oiwa\/FailSafeC\/index--en.html."},{"key":"e_1_3_2_1_18_1","volume-title":"Symposium on Programming and Programming Languages","author":"Oiwa Yutaka","year":"2005"},{"key":"e_1_3_2_1_19_1","volume-title":"University of Tokyo","author":"Oiwa Yutaka","year":"2005"},{"key":"e_1_3_2_1_20_1","volume-title":"Symposium on Programming and Programming Languages","author":"Oiwa Yutaka","year":"2007"},{"key":"e_1_3_2_1_21_1","unstructured":"Gray Watson. Dmalloc -- debug malloc library. http:\/\/www.dmalloc.com\/.  Gray Watson. Dmalloc -- debug malloc library. http:\/\/www.dmalloc.com\/."},{"key":"e_1_3_2_1_22_1","unstructured":"George Necula Scott McPeak and Westley Weimer. CCured:  George Necula Scott McPeak and Westley Weimer. CCured:"}],"event":{"name":"PLDI '09: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Dublin Ireland","acronym":"PLDI '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542505","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542476.1542505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:49Z","timestamp":1750238989000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,15]]},"references-count":22,"alternative-id":["10.1145\/1542476.1542505","10.1145\/1542476"],"URL":"https:\/\/doi.org\/10.1145\/1542476.1542505","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1543135.1542505","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,6,15]]},"assertion":[{"value":"2009-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}