{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:41:20Z","timestamp":1761129680989,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,15]],"date-time":"2019-07-15T00:00:00Z","timestamp":1563148800000},"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":[[2019,7,15]]},"DOI":"10.1145\/3340672.3341119","type":"proceedings-article","created":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T19:43:29Z","timestamp":1566243809000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Analysis of MiniJava programs via translation to ML"],"prefix":"10.1145","author":[{"given":"Martin Mariusz","family":"Lester","sequence":"first","affiliation":[{"name":"University of Reading, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Mario Alvarez-Picallo. 2015. MPRI Internship Report: Verification by compilation of higher-order functional programs. (2015).  Mario Alvarez-Picallo. 2015. MPRI Internship Report: Verification by compilation of higher-order functional programs. (2015)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel and Jens Palsberg. 2002. Modern Compiler Implementation in Java 2nd edition. Cambridge University Press.   Andrew W. Appel and Jens Palsberg. 2002. Modern Compiler Implementation in Java 2nd edition. Cambridge University Press.","DOI":"10.1017\/CBO9780511811432"},{"volume":"2999","volume-title":"4th International Conference, IFM 2004, Canterbury, UK, April 4--7, 2004, Proceedings (Lecture Notes in Computer Science), Eerke A. Boiten, John Derrick, and Graeme Smith (Eds.)","author":"Ball Thomas","key":"e_1_3_2_1_3_1"},{"volume-title":"Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI)","year":"1993","author":"Ed Robert Cartwright","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926397"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS","year":"2004","author":"Clarke Edmund M.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236454.3236483"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3282517.3282529"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033019.3033028"},{"key":"e_1_3_2_1_10_1","first-page":"59","article-title":"Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)","volume":"6","author":"Gaboardi Marco","year":"2016","journal-title":"Dagstuhl Reports"},{"key":"e_1_3_2_1_11_1","unstructured":"GuilhemJaber. 2018. SyTeCi: Towards automation of contextual equivalence for higher-order programs with references. (2018).  GuilhemJaber. 2018. SyTeCi: Towards automation of contextual equivalence for higher-order programs with references. (2018)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_12"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2426890.2426900"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/781995.782008"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/77350.77360"}],"event":{"name":"ECOOP '19: European Conference on Object-Oriented Programming","acronym":"ECOOP '19","location":"London United Kingdom"},"container-title":["Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3340672.3341119","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3340672.3341119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:11Z","timestamp":1750200071000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3340672.3341119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,15]]},"references-count":15,"alternative-id":["10.1145\/3340672.3341119","10.1145\/3340672"],"URL":"https:\/\/doi.org\/10.1145\/3340672.3341119","relation":{},"subject":[],"published":{"date-parts":[[2019,7,15]]},"assertion":[{"value":"2019-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}