{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:13:10Z","timestamp":1742389990063},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icse.2009.5070517","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T18:24:29Z","timestamp":1244658269000},"source":"Crossref","is-referenced-by-count":17,"title":["Automatic dimension inference and checking for object-oriented programs"],"prefix":"10.1109","author":[{"given":"Sudheendra","family":"Hangal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monica S.","family":"Lam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134323"},{"key":"ref11","first-page":"161","article-title":"From uncertainty to belief: inferring the specification within","author":"kremenek","year":"2006","journal-title":"OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"ref13","article-title":"Climate Orbiter Mishap Investigation Board","author":"mars","year":"0","journal-title":"Phase 1 Report"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253351"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/spe.401"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73562"},{"key":"ref17","article-title":"Detecting format string vulnerabilities with type qualifiers","author":"shankar","year":"2001","journal-title":"SSYM'01 Proceedings of the 10th conference on USENIX Security Symposium"},{"key":"ref18","first-page":"211","article-title":"Javari: Adding reference immutability to Java","author":"tschantz","year":"2005","journal-title":"Proceedings of Object-Oriented Programming Systems Languages and Applications (OOPSLA"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199906)29:7<605::AID-SPE249>3.0.CO;2-W"},{"key":"ref4","author":"buckley","year":"0","journal-title":"Java Specification Request-308 Annotations on Java Types"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317466"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301665"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146268"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1145\/1297027.1297051","article-title":"Type qualifier inference for Java","author":"greenfieldboyce","year":"2007","journal-title":"OOPSLA '07 Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029008"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/581376.581377"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566212"}],"event":{"name":"2009 IEEE 31st International Conference on Software Engineering","location":"Vancouver, BC, Canada","start":{"date-parts":[[2009,5,16]]},"end":{"date-parts":[[2009,5,24]]}},"container-title":["2009 IEEE 31st International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5062304\/5070493\/05070517.pdf?arnumber=5070517","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T20:54:07Z","timestamp":1497819247000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5070517\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icse.2009.5070517","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}