{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:43:04Z","timestamp":1730317384976,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,28]]},"DOI":"10.1145\/2635631.2635846","type":"proceedings-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T12:10:42Z","timestamp":1405080642000},"page":"1-6","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["How to prove type soundness of Java-like languages without forgoing big-step semantics"],"prefix":"10.1145","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[{"name":"DIBRIS, Universit\u00e0 di Genova, Italy"}]}],"member":"320","published-online":{"date-parts":[[2014,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_21"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_12"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1980-3405","article-title":"The metric space of infinite trees. Algebraic and topological properties","volume":"3","author":"Arnold A.","year":"1980","unstructured":"A. Arnold and M. Nivat . The metric space of infinite trees. Algebraic and topological properties . Fundamenta Informaticae , 3 : 445 -- 476 , 1980 . A. Arnold and M. Nivat. The metric space of infinite trees. Algebraic and topological properties. Fundamenta Informaticae, 3:445--476, 1980.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90059-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.12.004"}],"event":{"name":"ECOOP '14: European Conference on Object-Oriented Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Uppsala Sweden","acronym":"ECOOP '14"},"container-title":["Proceedings of 16th Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2635631.2635846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T05:44:16Z","timestamp":1673588656000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635631.2635846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,28]]},"references-count":6,"alternative-id":["10.1145\/2635631.2635846","10.1145\/2635631"],"URL":"https:\/\/doi.org\/10.1145\/2635631.2635846","relation":{},"subject":[],"published":{"date-parts":[[2014,7,28]]},"assertion":[{"value":"2014-07-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}