{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:08:53Z","timestamp":1763467733207,"version":"3.41.0"},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2006,1,11]],"date-time":"2006-01-11T00:00:00Z","timestamp":1136937600000},"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":["SIGPLAN Not."],"published-print":{"date-parts":[[2006,1,12]]},"abstract":"<jats:p>\n            Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specifications they support. Dynamically-checked contracts can enforce more precise specifications, but these are not checked until run time, resulting in incomplete detection of defects.\n            <jats:italic>Hybrid type checking<\/jats:italic>\n            is a synthesis of these two approaches that enforces precise interface specifications, via static analysis where possible, but also via dynamic checks where necessary. This paper explores the key ideas and implications of hybrid type checking, in the context of the simply-typed \u03bb-calculus with arbitrary refinements of base types.\n          <\/jats:p>","DOI":"10.1145\/1111320.1111059","type":"journal-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T18:14:10Z","timestamp":1139249650000},"page":"245-256","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Hybrid type checking"],"prefix":"10.1145","volume":"41","author":[{"given":"Cormac","family":"Flanagan","sequence":"first","affiliation":[{"name":"University of California, Santa Cruz, Santa Cruz, CA"}]}],"member":"320","published-online":{"date-parts":[[2006,1,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75296"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_14"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177847"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289451"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"e_1_2_1_6_1","unstructured":"D. Blei C. Harrelson R. Jhala R. Majumdar G. C. Necula S. P. Rahul W. Weimer and D. Weitz. Vampyre. Information available from http:\/\/www-cad.eecs.berkeley.edu\/rupak\/Vampyre\/ 2000.  D. Blei C. Harrelson R. Jhala R. Majumdar G. C. Necula S. P. Rahul W. Weimer and D. Weitz. Vampyre. Information available from http:\/\/www-cad.eecs.berkeley.edu\/rupak\/Vampyre\/ 2000."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90055-7"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","unstructured":"L. Burdy Y. Cheon D. Cok M. Ernst J. Kiniry G. Leavens K. Leino and E. Poll. An overview of JML tools and applications 2003.  L. Burdy Y. Cheon D. Cok M. Ernst J. Kiniry G. Leavens K. Leino and E. Poll. An overview of JML tools and applications 2003.","DOI":"10.1016\/S1571-0661(04)80810-7"},{"volume-title":"Manuscript","year":"1988","author":"Cardelli L.","key":"e_1_2_1_9_1"},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/3-540-19129-1_2","volume-title":"Lecture notes in computer science on Foundations of logic and functional programming","author":"Cardelli L.","year":"1988"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351259"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066100.1066102"},{"volume-title":"Rice University","year":"2002","author":"Findler R. B.","key":"e_1_2_1_13_1"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231387"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_2_1_19_1","unstructured":"B. Gomes D. Stoutamire B. Vaysman and H. Klawitter. A language manual for Sather 1.1 1996.  B. Gomes D. Stoutamire B. Vaysman and H. Klawitter. A language manual for Sather 1.1 1996."},{"volume-title":"Addison-Wesley","year":"2005","author":"Gosling J.","key":"e_1_2_1_20_1"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197346"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00004-2"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734280"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/53580.53581"},{"key":"e_1_2_1_25_1","unstructured":"M. K\u00f6lling and J. Rosenberg. Blue: Language specification version 0.94 1997.  M. K\u00f6lling and J. Rosenberg. Blue: Language specification version 0.94 1997."},{"key":"e_1_2_1_26_1","unstructured":"G. T. Leavens and Y. Cheon. Design by contract with JML 2005. avaiable at http:\/\/www.cs.iastate.edu\/~leavens\/JML\/#.  G. T. Leavens and Y. Cheon. Design by contract with JML 2005. avaiable at http:\/\/www.cs.iastate.edu\/~leavens\/JML\/#."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/533091"},{"key":"e_1_2_1_28_1","unstructured":"M. Fagan. Soft Typing. PhD thesis Rice University 1990.  M. Fagan. Soft Typing. PhD thesis Rice University 1990."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944725"},{"key":"e_1_2_1_30_1","unstructured":"B. Meyer. Object-oriented Software Construction. Prentice Hall 1988.   B. Meyer. Object-oriented Software Construction. Prentice Hall 1988."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319345"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-8141-3_34"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/355602.361309"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96747"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/249069.231414"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24725-8_18"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504288"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/182409.182485"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_2_1_44_1","first-page":"375","volume-title":"Proceedings of the IEEE Symposium on Logic in Computer Science","author":"Xi H.","year":"2000"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292560"}],"container-title":["ACM SIGPLAN Notices"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1111320.1111059","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1111320.1111059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:48:44Z","timestamp":1750286924000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1111320.1111059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,11]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,1,12]]}},"alternative-id":["10.1145\/1111320.1111059"],"URL":"https:\/\/doi.org\/10.1145\/1111320.1111059","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1111037.1111059","asserted-by":"subject"}]},"ISSN":["0362-1340","1558-1160"],"issn-type":[{"type":"print","value":"0362-1340"},{"type":"electronic","value":"1558-1160"}],"subject":[],"published":{"date-parts":[[2006,1,11]]},"assertion":[{"value":"2006-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}