{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:48Z","timestamp":1772164008349,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,23]],"date-time":"2015-10-23T00:00:00Z","timestamp":1445558400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["306484 - IMPRO"],"award-info":[{"award-number":["306484 - IMPRO"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001711","name":"Schweizerische Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["200020_159949"],"award-info":[{"award-number":["200020_159949"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,23]]},"DOI":"10.1145\/2814270.2814304","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T16:04:33Z","timestamp":1446480273000},"page":"183-200","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Automating grammar comparison"],"prefix":"10.1145","author":[{"given":"Ravichandhran","family":"Madhavan","sequence":"first","affiliation":[{"name":"EPFL, Switzerland"}]},{"given":"Mika\u00ebl","family":"Mayer","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}]},{"given":"Viktor","family":"Kuncak","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2015,10,23]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Antlr version 4. http:\/\/www.antlr.org\/.  Antlr version 4. http:\/\/www.antlr.org\/."},{"key":"e_1_3_2_2_2_1","unstructured":"Java 7 language specification. http:\/\/docs.oracle.com\/ javase\/specs\/jls\/se7\/html\/jls-18.html.  Java 7 language specification. http:\/\/docs.oracle.com\/ javase\/specs\/jls\/se7\/html\/jls-18.html."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/6448"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_34"},{"key":"e_1_3_2_2_5_1","unstructured":". URL http:\/\/dx.doi.org\/10.1007\/ 978-3-540-70583-3_34.  . URL http:\/\/dx.doi.org\/10.1007\/ 978-3-540-70583-3_34."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.07.021"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646514.695834"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08918-8_10"},{"key":"e_1_3_2_2_9_1","unstructured":". URL http:\/\/dx.doi.org\/10.1007\/ 978-3-319-08918-8_10.  . URL http:\/\/dx.doi.org\/10.1007\/ 978-3-319-08918-8_10."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287651"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2621"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41707-8_2"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(79)90024-0"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101926"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1137\/0212044"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1966.22"},{"key":"e_1_3_2_2_18_1","volume-title":"Automata and computability. Undergraduate texts in computer science","author":"Kozen D.","year":"1997","unstructured":"D. Kozen . Automata and computability. Undergraduate texts in computer science . Springer , 1997 . ISBN 978-0-387-94907-9. D. Kozen. Automata and computability. Undergraduate texts in computer science. Springer, 1997. ISBN 978-0-387-94907-9."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2637647.2637655"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11754008_2"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(94)90033-7"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321653"},{"key":"e_1_3_2_2_23_1","first-page":"5","volume-title":"International Conference on Computer and Information Science","author":"Malloy B. A.","year":"2001","unstructured":"B. A. Malloy . An interpretation of purdom\u2019s algorithm for automatic generation of test cases . In International Conference on Computer and Information Science , pages 3\u2013 5 , 2001 . B. A. Malloy. An interpretation of purdom\u2019s algorithm for automatic generation of test cases. In International Conference on Computer and Information Science, pages 3\u20135, 2001."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.56422"},{"key":"e_1_3_2_2_25_1","first-page":"161","volume-title":"The equivalence problem for LL- and LR-regular grammars","author":"Nijholt A.","year":"1982","unstructured":"A. Nijholt . The equivalence problem for LL- and LR-regular grammars . pages 149\u2013 161 , 1982 . A. Nijholt. The equivalence problem for LL- and LR-regular grammars. pages 149\u2013161, 1982."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90016-0"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660202"},{"key":"e_1_3_2_2_28_1","unstructured":"S. Pigeon. Pairing function. http:\/\/mathworld.wolfram. com\/PairingFunction.html.  S. Pigeon. Pairing function. http:\/\/mathworld.wolfram. com\/PairingFunction.html."},{"key":"e_1_3_2_2_29_1","first-page":"375","volume-title":"BIT Numerical Mathematics","author":"Purdom P.","year":"1972","unstructured":"P. Purdom . A sentence generator for testing parsers . BIT Numerical Mathematics , pages 366\u2013 375 , 1972 . P. Purdom. A sentence generator for testing parsers. BIT Numerical Mathematics, pages 366\u2013375, 1972."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/800169.805431"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462195"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/331960.331965"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00285-1"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/901298"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328408.1328424"}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Pittsburgh PA USA","acronym":"SPLASH '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814270.2814304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:48:41Z","timestamp":1750211321000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,23]]},"references-count":35,"alternative-id":["10.1145\/2814270.2814304","10.1145\/2814270"],"URL":"https:\/\/doi.org\/10.1145\/2814270.2814304","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858965.2814304","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,10,23]]},"assertion":[{"value":"2015-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}