{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:08:09Z","timestamp":1725548889350},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236351"},{"type":"electronic","value":"9783540376217"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-37621-7_10","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:29:47Z","timestamp":1267403387000},"page":"192-208","source":"Crossref","is-referenced-by-count":1,"title":["The Interface Definition Language for Fail-Safe C"],"prefix":"10.1007","author":[{"given":"Kohei","family":"Suenaga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yutaka","family":"Oiwa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eijiro","family":"Sumii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akinori","family":"Yonezawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Austin, T.M., Breach, S.E., Sohi, G.S.: Efficient detection of all pointer and array access errors. In: Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation, pp. 290\u2013301 (1994)","DOI":"10.1145\/178243.178446"},{"key":"10_CR2","volume-title":"The C Programming Language","author":"D.M. Ritchie","year":"1988","unstructured":"Ritchie, D.M., Kernighan, B.W.: The C Programming Language, 2nd edn. Prentice Hall, Englewood Cliffs (1988)","edition":"2"},{"key":"10_CR3","unstructured":"CERT\/CC. CERT Advisory CA-2003 -10 Integer overflow in Sun RPC XDR library routines (April 2003), http:\/\/www.cert.org\/advisories\/CA-2003-10.html"},{"key":"10_CR4","unstructured":"Kent Dybvig, R.: Chez Scheme User\u2019s Guide (1998), http:\/\/www.scheme.com\/csug\/index.html"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Finne, S., Leijen, D., Meijer, E., Peyton Jones, S.L.: H\/Direct: A binary foreign language interface for Haskell. In: Proceedings of the third ACM SIGPLAN international conference on Functional programming, pp. 153\u2013162 (1998)","DOI":"10.1145\/289423.289437"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Finne, S., Leijen, D., Meijer, E., Peyton Jones, S.L.: Calling hell from heaven and heaven from hell. In: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, pp. 114\u2013125 (1999)","DOI":"10.1145\/317636.317790"},{"key":"10_CR7","unstructured":"Jim, T., Morrisett, G., Grossman, D., Hicks, M., Cheney, J., Wang, Y.: Cyclone: A safe dialect of C. In: Proceedings of USENIX Annual Technical Conference (June 2002)"},{"key":"10_CR8","unstructured":"Peyton Jones, S.: Haskell 98 language and libraries: The Revised Report (December 2002), http:\/\/www.haskell.org\/definition\/haskell98-report.pdf"},{"key":"10_CR9","unstructured":"Xavier Leroy. CamlIDL Users Manual. INRIA Recquencourt (July 2001), http:\/\/camlidl.inria.fr\/camlidl"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Necula, G.C., McPeak, S., Weimer, W.: CCured:Type-safe retrofitting of legacy code. In: Proceedings of the 29th ACM SIGPLAN\u2013SIGACT symposium on Principles of Programming Languages, pp. 128\u2013139 (2002)","DOI":"10.1145\/565816.503286"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/3-540-36532-X_9","volume-title":"Software Security \u2013 Theories and Systems","author":"Y. Oiwa","year":"2003","unstructured":"Oiwa, Y., Sekiguchi, T., Sumii, E., Yonezawa, A.: Fail-safe ANSI-C compiler: An approach to making C programs secure (progress report). In: Okada, M., Pierce, B.C., Scedrov, A., Tokuda, H., Yonezawa, A. (eds.) ISSS 2002. LNCS, vol.\u00a02609, pp. 133\u2013153. Springer, Heidelberg (2003)"},{"key":"10_CR12","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"10_CR13","unstructured":"Leroy, X., Jacques, D.D., R\u00e9my, G.D., Vouillon, J.: The Objective Caml system release 3.06 Documentation and user\u2019s manual. Institut National de Recherche en Informatique et en Automatique (August 2002)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Condit, J., Harren, M., McPeak, S., Necula, G.C., Weimer, W.: CCured in the real world. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (June 2003)","DOI":"10.1145\/781131.781157"}],"container-title":["Lecture Notes in Computer Science","Software Security - Theories and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-37621-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:40:50Z","timestamp":1605760850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-37621-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236351","9783540376217"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-37621-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}