{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:10:36Z","timestamp":1725617436708},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,11,10]]},"DOI":"10.1145\/1181195.1181207","type":"proceedings-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T20:15:56Z","timestamp":1168978556000},"page":"57-64","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Simplifying reasoning about objects with Tako"],"prefix":"10.1145","author":[{"given":"Gregory","family":"Kulczycki","sequence":"first","affiliation":[{"name":"Virginia Tech, Falls Church, VA"}]},{"given":"Jyotindra","family":"Vasudeo","sequence":"additional","affiliation":[{"name":"Virginia Tech, Falls Church, VA"}]}],"member":"320","published-online":{"date-parts":[[2006,11,10]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.5555\/646620.697863"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/582419.582448"},{"key":"e_1_3_2_1_3_1","first-page":"32","volume-title":"Proceedings ECOOP '97","author":"Almeida P. S.","year":"1997","unstructured":"Almeida , P. S. , Balloon types : Controlling sharing of state in data types . In Proceedings ECOOP '97 , pages 32 -- 59 . Springer-Verlag, New York , 1997 .]] Almeida, P. S., Balloon types: Controlling sharing of state in data types. In Proceedings ECOOP '97, pages 32--59. Springer-Verlag, New York, 1997.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/199818.199860"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/320384.320392"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.5555\/257572.257636"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/1123058.1123068"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1002\/spe.v35:6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_10_1","volume-title":"Introduction to Algorithms","author":"Cormen T. H.","year":"2001","unstructured":"Cormen , T. H. , Leiserson , C. E. , Rivest , R. L. , and Stein , C. , Introduction to Algorithms , 2 nd ed., McGraw-Hill , 2001 .]] Cormen, T. H., Leiserson, C. E., Rivest, R. L., and Stein, C., Introduction to Algorithms, 2nd ed., McGraw-Hill, 2001.]]","edition":"2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/357114.357119"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/32.90445"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/117954.117975"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/130943.130947"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/355045.355048"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/800237.807127"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/1123058.1123066"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1007\/978-1-4615-5229-1_12"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/286936.286953"},{"key":"e_1_3_2_1_23_1","volume-title":"Object-Oriented Software Construction","author":"Meyer B.","year":"1997","unstructured":"Meyer , B. , Object-Oriented Software Construction , 2 nd ed. Prentice Hall , 1997 .]] Meyer, B., Object-Oriented Software Construction, 2nd ed. Prentice Hall, 1997.]]","edition":"2"},{"key":"e_1_3_2_1_24_1","volume-title":"Modular specification and verification techniques for object-oriented software components","author":"M\u00fcller P.","year":"2000","unstructured":"M\u00fcller , P. and Poetzsch-Heffter , A. Modular specification and verification techniques for object-oriented software components . Sitaraman, M. and Leavens, G. eds. Foundations of Component-Based Systems, Cambridge University Press , Cambridge, United Kingdom, 2000 .]] M\u00fcller, P. and Poetzsch-Heffter, A. Modular specification and verification techniques for object-oriented software components. Sitaraman, M. and Leavens, G. eds. Foundations of Component-Based Systems, Cambridge University Press, Cambridge, United Kingdom, 2000.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.5555\/646154.758676"},{"key":"e_1_3_2_1_26_1","series-title":"Lecture Notes in Computer Science, 1445","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/BFb0054091","volume-title":"Flexible alias protection","author":"Noble J.","year":"1998","unstructured":"Noble , J. , Vitek , J. and Potter , J . Flexible alias protection . Lecture Notes in Computer Science, 1445 . pages 158 -- 185 . 1998 .]] Noble, J., Vitek, J. and Potter, J. Flexible alias protection. Lecture Notes in Computer Science, 1445. pages 158--185. 1998.]]"},{"key":"e_1_3_2_1_27_1","volume-title":"The Proper Conceptualization of Data Structures","author":"Ogden W. F.","year":"2000","unstructured":"Ogden , W. F. The Proper Conceptualization of Data Structures . The Ohio State University , Columbus, OH , 2000 .]] Ogden, W. F. The Proper Conceptualization of Data Structures. The Ohio State University, Columbus, OH, 2000.]]"},{"key":"e_1_3_2_1_28_1","series-title":"Lecture Notes in Computer Science, 2142","volume-title":"Local reasoning about programs that alter data structures","author":"O'Hearn P.","year":"2001","unstructured":"O'Hearn , P. , Reynolds , J. and Yang , H . Local reasoning about programs that alter data structures . Lecture Notes in Computer Science, 2142 , 2001 .]] O'Hearn, P., Reynolds, J. and Yang, H. Local reasoning about programs that alter data structures. Lecture Notes in Computer Science, 2142, 2001.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1145\/390017.808307"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.5555\/645546.656050"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1145\/190679.199221"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings SAVCBS '01","author":"Weide B. W.","year":"2001","unstructured":"Weide , B. W. and Heym , W. D ., Specification and verification with references . In Proceedings SAVCBS '01 . 2001 .]] Weide, B. W. and Heym, W. D., Specification and verification with references. In Proceedings SAVCBS '01. 2001.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1109\/SEFM.2005.29"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"SIGSOFT06\/FSE-14","name":"SIGSOFT06\/FSE-14: SIGSOFT 2006 -14th International Symposium on the Foundations of Software Engineering","location":"Portland Oregon"},"container-title":["Proceedings of the 2006 conference on Specification and verification of component-based systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1181195.1181207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T00:01:11Z","timestamp":1673308871000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1181195.1181207"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,10]]},"references-count":30,"alternative-id":["10.1145\/1181195.1181207","10.1145\/1181195"],"URL":"https:\/\/doi.org\/10.1145\/1181195.1181207","relation":{},"subject":[],"published":{"date-parts":[[2006,11,10]]},"assertion":[{"value":"2006-11-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}