{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:28Z","timestamp":1750307788373,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T00:00:00Z","timestamp":1192838400000},"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":[[2007,10,20]]},"DOI":"10.1145\/1297846.1297908","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T14:30:20Z","timestamp":1195137020000},"page":"827-828","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A rewriting approach to the design and evolution of object-oriented languages"],"prefix":"10.1145","author":[{"given":"Mark","family":"Hills","sequence":"first","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL"}]},{"given":"Grigore","family":"Rosu","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL"}]}],"member":"320","published-online":{"date-parts":[[2007,10,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Revival of Dynamic Languages workshop at OOPSLA 2004","author":"Bracha G.","year":"2004","unstructured":"G. Bracha . Pluggable type systems . Revival of Dynamic Languages workshop at OOPSLA 2004 , October 2004 . G. Bracha. Pluggable type systems. Revival of Dynamic Languages workshop at OOPSLA 2004, October 2004."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","first-page":"501","volume-title":"Proceedings of CAV'04","author":"Farzan A.","year":"2004","unstructured":"A. Farzan , F. Chen , J. Meseguer , and G. Rosu . Formal Analysis of Java Programs in JavaFAN . In Proceedings of CAV'04 , volume 3114 of LNCS , pages 501 -- 505 . Springer , 2004 . A. Farzan, F. Chen, J. Meseguer, and G. Rosu. Formal Analysis of Java Programs in JavaFAN. In Proceedings of CAV'04, volume 3114 of LNCS, pages 501--505. Springer, 2004."},{"key":"e_1_3_2_1_5_1","volume-title":"Smalltalk-80: the language and its implementation","author":"Goldberg A.","year":"1983","unstructured":"A. Goldberg and D. Robson . Smalltalk-80: the language and its implementation . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1983 . A. Goldberg and D. Robson. Smalltalk-80: the language and its implementation. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1983."},{"key":"e_1_3_2_1_6_1","volume-title":"The Java Language Definition","author":"Gosling J.","year":"1996","unstructured":"J. Gosling , B. Joy , and G. Steele . The Java Language Definition . Addison-Wesley , 1996 . J. Gosling, B. Joy, and G. Steele. The Java Language Definition. Addison-Wesley, 1996."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.06.017"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","first-page":"246","volume-title":"Proceedings of RTA'07","author":"Hills M.","year":"2007","unstructured":"M. Hills and G. Rosu . KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis . In Proceedings of RTA'07 , volume 4533 of LNCS , pages 246 -- 256 . Springer , 2007 . M. Hills and G. Rosu. KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. In Proceedings of RTA'07, volume 4533 of LNCS, pages 246--256. Springer, 2007."},{"key":"e_1_3_2_1_10_1","series-title":"LNCS","first-page":"107","volume-title":"Proceedings of FMOODS'07","author":"Hills M.","year":"2007","unstructured":"M. Hills and G. Rosu . On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance . In Proceedings of FMOODS'07 , volume 4468 of LNCS , pages 107 -- 121 . Springer , 2007 . M. Hills and G. Rosu. On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance. In Proceedings of FMOODS'07, volume 4468 of LNCS, pages 107--121. Springer, 2007."},{"key":"e_1_3_2_1_11_1","volume-title":"Object-Oriented Programming in the BETA Programming Language","author":"Madsen O. L.","year":"1993","unstructured":"O. L. Madsen , B. Moller-Pedersen , and K. Nygaard . Object-Oriented Programming in the BETA Programming Language . Addison-Wesley , 1993 . O. L. Madsen, B. Moller-Pedersen, and K. Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, 1993."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.018"},{"key":"e_1_3_2_1_14_1","series-title":"LNCS","first-page":"165","volume-title":"Ershov Memorial Conference","author":"Mosses P. D.","year":"2001","unstructured":"P. D. Mosses . The varieties of programming language semantics . In D. Bjorner, M. Broy, and A. V. Zamulin, editors, Ershov Memorial Conference , volume 2244 of LNCS , pages 165 -- 190 . Springer , 2001 . P. D. Mosses. The varieties of programming language semantics. In D. Bjorner, M. Broy, and A. V. Zamulin, editors, Ershov Memorial Conference, volume 2244 of LNCS, pages 165--190. Springer, 2001."}],"event":{"name":"OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Montreal Quebec Canada","acronym":"OOPSLA07"},"container-title":["Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297846.1297908","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1297846.1297908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:15Z","timestamp":1750254975000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297846.1297908"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,20]]},"references-count":12,"alternative-id":["10.1145\/1297846.1297908","10.1145\/1297846"],"URL":"https:\/\/doi.org\/10.1145\/1297846.1297908","relation":{},"subject":[],"published":{"date-parts":[[2007,10,20]]},"assertion":[{"value":"2007-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}