{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:27:01Z","timestamp":1725672421541},"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":[[2005,3,14]]},"DOI":"10.1145\/1052898.1052913","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"169-180","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Crosscutting techniques in program specification and analysis"],"prefix":"10.1145","author":[{"given":"Patrick","family":"Lam","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}]},{"given":"Viktor","family":"Kuncak","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}]},{"given":"Martin","family":"Rinard","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}]}],"member":"320","published-online":{"date-parts":[[2005,3,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Software Engineering Properties of Languages for Aspect Technologies","author":"Aldrich J.","year":"2004","unstructured":"J. Aldrich . Open modules : Reconciling extensibility and information hiding . Software Engineering Properties of Languages for Aspect Technologies , March 2004 .]] J. Aldrich. Open modules: Reconciling extensibility and information hiding. Software Engineering Properties of Languages for Aspect Technologies, March 2004.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/136586.136587"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.180621"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41652"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 10th ICSE Workshop on Software Configuration Management","author":"Chu-Carroll M. C.","year":"2001","unstructured":"M. C. Chu-Carroll . Supporting distributed collaboration through multidimensional software configuration management . In Proceedings of the 10th ICSE Workshop on Software Configuration Management , 2001 .]] M. C. Chu-Carroll. Supporting distributed collaboration through multidimensional software configuration management. In Proceedings of the 10th ICSE Workshop on Software Configuration Management, 2001.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503231"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_11_1","volume-title":"Design Patterns. Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1994","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlisside . Design Patterns. Elements of Reusable Object-Oriented Software . Addison-Wesley , Reading, Mass ., 1994 .]] E. Gamma, R. Helm, R. Johnson, and J. Vlisside. Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, Mass., 1994.]]"},{"key":"e_1_3_2_1_12_1","first-page":"195","volume-title":"18th ECOOP","author":"Janzen D.","year":"2004","unstructured":"D. Janzen and K. D. Volder . Programming with crosscutting effective views. In M. Odersky, editor , 18th ECOOP , pages 195 -- 218 , 2004 .]] D. Janzen and K. D. Volder. Programming with crosscutting effective views. In M. Odersky, editor, 18th ECOOP, pages 195--218, 2004.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647267.760182"},{"key":"e_1_3_2_1_16_1","volume-title":"AspectJ in Action","author":"Laddad R.","year":"2003","unstructured":"R. Laddad . AspectJ in Action . Manning Publications Company , Greenwich, CT , 2003 .]] R. Laddad. AspectJ in Action. Manning Publications Company, Greenwich, CT, 2003.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_28"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31985-6_16"},{"key":"e_1_3_2_1_21_1","unstructured":"P. Lam V. Kuncak K. Zee and M. Rinard. The Hob project web page. http:\/\/catfish.csail.mit.edu\/~plam\/hob\/ 2004.]] P. Lam V. Kuncak K. Zee and M. Rinard. The Hob project web page. http:\/\/catfish.csail.mit.edu\/~plam\/hob\/ 2004.]]"},{"key":"e_1_3_2_1_23_1","volume-title":"Program Development in Java: Abstraction, Specification, and Object-Oriented Design","author":"Liskov B.","year":"2000","unstructured":"B. Liskov and J. Guttag . Program Development in Java: Abstraction, Specification, and Object-Oriented Design . Addison-Wesley , 2000 .]] B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378851"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/28697.28698"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383856"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/508386.508404"},{"key":"e_1_3_2_1_29_1","first-page":"81","volume-title":"Artificial Intelligence","author":"Reiter R.","year":"1980","unstructured":"R. Reiter . A logic for default reasoning . Artificial Intelligence , pages 81 -- 132 , 1980 .]] R. Reiter. A logic for default reasoning. Artificial Intelligence, pages 81--132, 1980.]]"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029917"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/322169.322176"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/646159.680037"},{"key":"e_1_3_2_1_34_1","volume-title":"Workshop on Foundations of Aspect-Oriented Languages","author":"St\u00f6rzer M.","year":"2003","unstructured":"M. St\u00f6rzer and J. Krinke . Interference analysis for AspectJ . In Workshop on Foundations of Aspect-Oriented Languages , Mar. 2003 .]] M. St\u00f6rzer and J. Krinke. Interference analysis for AspectJ. In Workshop on Foundations of Aspect-Oriented Languages, Mar. 2003.]]"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302457"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1018203.1018208"},{"key":"e_1_3_2_1_37_1","volume-title":"International Workshop on Software Verification and Validation (SVV 2004","author":"Zee K.","year":"2004","unstructured":"K. Zee , P. Lam , V. Kuncak , and M. Rinard . Combining theorem proving with static analysis for data structure consistency . In International Workshop on Software Verification and Validation (SVV 2004 ), Seattle , November 2004 .]] K. Zee, P. Lam, V. Kuncak, and M. Rinard. Combining theorem proving with static analysis for data structure consistency. In International Workshop on Software Verification and Validation (SVV 2004), Seattle, November 2004.]]"}],"event":{"name":"AOSD05: 4th International Conference on Aspect-Oriented Software Development Conference","sponsor":["Illinois Institute of Technology","BEA Systems, Inc.","Siemens AG, CT SE 2","IBMR IBM Research","AOSD-Europe: European Network of Excellence on Aspect-Oriented Software Development","Oracle Corporation","AOSA Aspect-Oriented Software Association, Inc","TheServerSide.COM"],"location":"Chicago Illinois","acronym":"AOSD05"},"container-title":["Proceedings of the 4th international conference on Aspect-oriented software development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1052898.1052913","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T07:29:25Z","timestamp":1673681365000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1052898.1052913"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3,14]]},"references-count":30,"alternative-id":["10.1145\/1052898.1052913","10.1145\/1052898"],"URL":"https:\/\/doi.org\/10.1145\/1052898.1052913","relation":{},"subject":[],"published":{"date-parts":[[2005,3,14]]},"assertion":[{"value":"2005-03-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}