{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:51Z","timestamp":1750306971483,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T00:00:00Z","timestamp":1372636800000},"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":[[2013,7]]},"DOI":"10.1145\/2489804.2489805","type":"proceedings-article","created":{"date-parts":[[2013,7,2]],"date-time":"2013-07-02T14:33:48Z","timestamp":1372775628000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["True small-step reduction for imperative object oriented languages"],"prefix":"10.1145","author":[{"given":"Marco","family":"Servetto","sequence":"first","affiliation":[{"name":"Victoria University of Wellington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lindsay","family":"Groves","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_39"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Jim\n       \n      Alves-Foss editor. \n  Formal Syntax and Semantics of Java volume \n  1523\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer 1999\n  .   Jim Alves-Foss editor. Formal Syntax and Semantics of Java volume 1523 of Lecture Notes in Computer Science . Springer 1999.","DOI":"10.1007\/3-540-48737-9"},{"key":"e_1_3_2_1_3_1","unstructured":"Lars Ole Andersen. Program analysis and specialization for the C Programming Language. Technical report 1994.  Lars Ole Andersen. Program analysis and specialization for the C Programming Language. Technical report 1994."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80803-X"},{"key":"e_1_3_2_1_5_1","unstructured":"G. M. Bierman M. J. Parkinson and A. M. Pitts. M J: An imperative core calculus for Java and Java with effects. Technical report 2003.  G. M. Bierman M. J. Parkinson and A. M. Pitts. M J: An imperative core calculus for Java and Java with effects. Technical report 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.2307\/1968337"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"John\n       \n      Clements Matthew\n       \n      Flatt and \n      \n      \n      Matthias\n       \n      Felleisen\n    .\n      \n  \n   \n  Modeling an algebraic stepper. In David Sands editor ESOP volume \n  2028\n   of \n  Lecture Notes in Computer Science pages \n  320\n  --\n  334\n  . \n  Springer 2001\n  .   John Clements Matthew Flatt and Matthias Felleisen. Modeling an algebraic stepper. In David Sands editor ESOP volume 2028 of Lecture Notes in Computer Science pages 320--334. Springer 2001.","DOI":"10.1007\/3-540-45309-1_21"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297052"},{"volume-title":"MIT Press","year":"2009","author":"Felleisen Matthias","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90069-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90014-7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268961"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445368"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320395"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_29"},{"key":"e_1_3_2_1_17_1","unstructured":"X. Leroy. The Objective Caml system (release 2.00). Available at http:\/\/paulliac.inria.fr\/caml August 1998.  X. Leroy. The Objective Caml system (release 2.00). Available at http:\/\/paulliac.inria.fr\/caml August 1998."},{"volume-title":"The MIT Press","year":"2002","author":"Pierce Benjamin C.","key":"e_1_3_2_1_18_1"},{"volume-title":"ECOOP","year":"2013","author":"Servetto Marco","key":"e_1_3_2_1_19_1"}],"event":{"name":"ECOOP '13: European Conference on Object-Oriented Programming","sponsor":["CNRS Centre National De La Rechercue Scientifique","UM2 University Montpellier 2","AITO Association Internationale pour les Technologies Objets","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Montpellier France","acronym":"ECOOP '13"},"container-title":["Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2489804.2489805","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2489804.2489805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:26Z","timestamp":1750235966000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2489804.2489805"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":19,"alternative-id":["10.1145\/2489804.2489805","10.1145\/2489804"],"URL":"https:\/\/doi.org\/10.1145\/2489804.2489805","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]},"assertion":[{"value":"2013-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}