{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:24:21Z","timestamp":1775053461421,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540665380","type":"print"},{"value":"9783540481669","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48166-4_12","type":"book-chapter","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T20:59:20Z","timestamp":1186606760000},"page":"180-198","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Coping with Type Casts in C"],"prefix":"10.1007","author":[{"given":"Michael","family":"Siff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satish","family":"Chandra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Ball","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krishna","family":"Kunchithapadam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Reps","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Mart\u00edn Abadi and Luca Cardelli. A Theory of Objects. Springer, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"12_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume-title":"Semantics of Data Types","author":"L. Cardelli","year":"1984","unstructured":"Luca Cardelli. A semantics of multiple inheritance. In G. Kahn, D.B. MacQueen, and G. Plotkin, editors, Semantics of Data Types, number 173 in Lecture Notes in Computer Science, pages 51\u201368. Springer-Verlag, 1984."},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471\u2013522, December 1985.","journal-title":"Computing Surveys"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"David Evans. Static detection of dynamic memory errors. In Proceedings of the ACM SIGPLAN\u201996 Conference on Programming Language Design and Implementation, pages 44\u201353, May 1996.","DOI":"10.1145\/249069.231389"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/ASR.1993.291718","volume-title":"Advances in Software Reuse: Selected Papers from the Second International Workshop on Software Reusability","author":"F.-J. Grosch","year":"1993","unstructured":"F.-J. Grosch and G. Snelting. Polymorphic components for monomorphic languages. In R. Prieto-Diaz and W.B. Frakes, editors, Advances in Software Reuse: Selected Papers from the Second International Workshop on Software Reusability, pages 47\u201355, Lucca, Italy, March 1993. IEEE Computer Society Press."},{"key":"12_CR6","unstructured":"Carl A. Gunter. Semantics of Programming Languages. The MIT Press, 1992."},{"key":"12_CR7","unstructured":"S. C. Johnson. Lint, a C program checker, July 1978."},{"issue":"6","key":"12_CR8","doi-asserted-by":"publisher","first-page":"2021","DOI":"10.1002\/j.1538-7305.1978.tb02141.x","volume":"57","author":"S. C. Johnson","year":"1978","unstructured":"S. C. Johnson and D. M. Ritchie. UNIX time-sharing system: Portability of C programs and the UNIX system. Bell Systems Technical Journal, 57(6):2021\u20132048, 1978.","journal-title":"Bell Systems Technical Journal"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Robert O\u2019Callahan and Daniel Jackson. Lackwit: A program understanding tool based on type inference. In 19th International Conference on Software Engineering (ICSE), pages 338\u201348, May 1997.","DOI":"10.1145\/253228.253351"},{"key":"12_CR10","unstructured":"M. Siff, S. Chandra, T. Ball K. Kunchithapadam, and T. Reps. Coping with type casts in c. Technical Report BL0113590-990202-03, Lucent Technologies, Bell Laboratories, February 1999."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Michael Siff and Thomas Reps. Program generalization for software reuse: From C to C++. In Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 135\u2013146, San Francisco, October 1996.","DOI":"10.1145\/250707.239121"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Geoffrey Smith and Dennis Volpano. Towards an ML-style polymorphic type system for C. In 1996 European Symposium on Programming, April 1996.","DOI":"10.1007\/3-540-61055-3_47"},{"key":"12_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/3-540-61053-7_58","volume-title":"Proceedings of the 1996 International Conference on Compiler Construction","author":"B. Steensgaard","year":"1996","unstructured":"Bjarne Steensgaard. Points-to analysis by type inference of programs with structures and unions. In Proceedings of the 1996 International Conference on Compiler Construction, number 1060 in Lecture Notes in Computer Science, pages 136\u2013150. Springer-Verlag, April 1996."}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC\/FSE \u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48166-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T00:04:59Z","timestamp":1586131499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48166-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665380","9783540481669"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48166-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 August 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}