{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:55Z","timestamp":1750307755187,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,2,19]],"date-time":"2008-02-19T00:00:00Z","timestamp":1203379200000},"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":[[2008,2,19]]},"DOI":"10.1145\/1342211.1342225","type":"proceedings-article","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T17:33:43Z","timestamp":1254159223000},"page":"57-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Class-local object invariants"],"prefix":"10.1145","author":[{"given":"K. Rustan M.","family":"Leino","sequence":"first","affiliation":[{"name":"Microsoft Research, Redmond, WA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angela","family":"Wallenburg","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, G\u00f6teborg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,2,19]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/11804192_17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.5381\/jot.2004.3.6.a2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-540-27764-4_5","volume-title":"Mathematics of Program Construction, 7th International Conference, MPC","author":"Barnett Mike","year":"2004","unstructured":"Mike Barnett and David A. Naumann . Friends need a bit more: Maintaining invariants over shared state . In Dexter Kozen and Carron Shankland, editors, Mathematics of Program Construction, 7th International Conference, MPC 2004 , volume 3125 of Lecture Notes in Computer Science , pages 54 -- 84 . Springer , July 2004. Mike Barnett and David A. Naumann. Friends need a bit more: Maintaining invariants over shared state. In Dexter Kozen and Carron Shankland, editors, Mathematics of Program Construction, 7th International Conference, MPC 2004, volume 3125 of Lecture Notes in Computer Science, pages 54--84. Springer, July 2004."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/582419.582440"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_9_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1007\/978-3-540-71289-3_26","volume-title":"Fundamental Approaches to Software Engineering, 10th International Conference, FASE","author":"Darvas \u00c1d\u00e1m","year":"2007","unstructured":"\u00c1d\u00e1m Darvas and K Rustan M. Leino . Practical reasoning about invocations and implementations of pure methods . In Matthew B. Dwyer and Ant\u00f3nia Lopes, editors, Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007 , volume 4422 of Lecture Notes in Computer Science , pages 336 -- 351 . Springer , March 2007. \u00c1d\u00e1m Darvas and KRustan M. Leino. Practical reasoning about invocations and implementations of pure methods. In Matthew B. Dwyer and Ant\u00f3nia Lopes, editors, Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, volume 4422 of Lecture Notes in Computer Science, pages 336--351. Springer, March 2007."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/SEFM.2005.39"},{"key":"e_1_3_2_1_11_1","volume-title":"Workshop on Formal Techniques for Java-like Programs (FTfJP 2006)","author":"Jacobs Bart","year":"2006","unstructured":"Bart Jacobs and Frank Piessens . Verification of programs with inspector methods . In Workshop on Formal Techniques for Java-like Programs (FTfJP 2006) , July 2006 . Bart Jacobs and Frank Piessens. Verification of programs with inspector methods. In Workshop on Formal Techniques for Java-like Programs (FTfJP 2006), July 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/11901433_23"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/11813040_19"},{"doi-asserted-by":"crossref","unstructured":"K. Rustan\n     M.\n  Leino and Peter M\u00fcller. Object invariants in dynamic contexts\n  . In Martin Odersky editor ECOOP \n  2004\n   -- Object-Oriented Programming 18th European Conference volume \n  3086\n   of \n  Lecture Notes in Computer Science pages \n  491\n  --\n  516\n  . \n  Springer June 2004.  K. Rustan M. Leino and Peter M\u00fcller. Object invariants in dynamic contexts. In Martin Odersky editor ECOOP 2004 -- Object-Oriented Programming 18th European Conference volume 3086 of Lecture Notes in Computer Science pages 491--516. Springer June 2004.","key":"e_1_3_2_1_14_1","DOI":"10.1007\/978-3-540-24851-4_22"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1007\/11526841_4"},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Computer Science","first-page":"80","volume-title":"Programming Languages and Systems, 16th European Symposium on Programming, ESOP","author":"K. Rustan","year":"2007","unstructured":"K. Rustan M. Leino and Wolfram Schulte. Using history invariants to verify observers . In Rocco De~Nicola, editor, Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007 , volume 4421 of Lecture Notes in Computer Science , pages 80 -- 94 . Springer , March 2007. K. Rustan M. Leino and Wolfram Schulte. Using history invariants to verify observers. In Rocco De~Nicola, editor, Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, volume 4421 of Lecture Notes in Computer Science, pages 80--94. Springer, March 2007."},{"key":"e_1_3_2_1_17_1","first-page":"233","volume-title":"Brazilian Symposium on Formal Methods, SBMF 2006","author":"Middelkoop Ronald","year":"2006","unstructured":"Ronald Middelkoop , Cornelis Huizing , Ruurd Kuiper , and Erik Luit . Invariants for non-hierarchical object structures. In Anamaria Martins Moreira and Leila Ribeiro, editors , Brazilian Symposium on Formal Methods, SBMF 2006 , pages 233 -- 248 . SBC, September 2006 . Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, and Erik Luit. Invariants for non-hierarchical object structures. In Anamaria Martins Moreira and Leila Ribeiro, editors, Brazilian Symposium on Formal Methods, SBMF 2006, pages 233--248. SBC, September 2006."},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45651-1","volume-title":"Modular Specification and Verification of Object-Oriented Programs","author":"M\u00fcller Peter","year":"2002","unstructured":"Peter M\u00fcller . Modular Specification and Verification of Object-Oriented Programs , volume 2262 of Lecture Notes in Computer Science . Springer-Verlag , 2002 . Peter M\u00fcller. Modular Specification and Verification of Object-Oriented Programs, volume 2262 of Lecture Notes in Computer Science. Springer-Verlag, 2002."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1016\/j.scico.2006.03.001"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/1040305.1040326"}],"event":{"sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ISEC08","name":"ISEC08: India Software Engineering Conference","location":"Hyderabad India"},"container-title":["Proceedings of the 1st India software engineering conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1342211.1342225","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1342211.1342225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:39:20Z","timestamp":1750253960000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1342211.1342225"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2,19]]},"references-count":18,"alternative-id":["10.1145\/1342211.1342225","10.1145\/1342211"],"URL":"https:\/\/doi.org\/10.1145\/1342211.1342225","relation":{},"subject":[],"published":{"date-parts":[[2008,2,19]]},"assertion":[{"value":"2008-02-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}