{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:53:37Z","timestamp":1773330817673,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T00:00:00Z","timestamp":1421107200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002301","name":"Estonian Research Council","doi-asserted-by":"publisher","award":["0140007s12 and 9475"],"award-info":[{"award-number":["0140007s12 and 9475"]}],"id":[{"id":"10.13039\/501100002301","id-type":"DOI","asserted-by":"publisher"}]},{"name":"European Regional Development Fund","award":["3.2.0101.08-0013"],"award-info":[{"award-number":["3.2.0101.08-0013"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,1,13]]},"DOI":"10.1145\/2676724.2693177","type":"proceedings-article","created":{"date-parts":[[2015,1,5]],"date-time":"2015-01-05T13:32:15Z","timestamp":1420464735000},"page":"167-174","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Certified Normalization of Context-Free Grammars"],"prefix":"10.1145","author":[{"given":"Denis","family":"Firsov","sequence":"first","affiliation":[{"name":"Institute of Cybernetics at Tallinn University of Technology, Tallinn, Estonia"}]},{"given":"Tarmo","family":"Uustalu","sequence":"additional","affiliation":[{"name":"Institute of Cybernetics at Tallinn University of Technology, Tallinn, Estonia"}]}],"member":"320","published-online":{"date-parts":[[2015,1,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcroft E.","year":"1979"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863585"},{"key":"e_1_3_2_1_3_1","first-page":"5","article-title":"Certified CYK parsing of context-free languages","author":"Firsov D.","year":"2014","journal-title":"J. of Log. and Algebr. Meth. in Program."},{"key":"e_1_3_2_1_4_1","volume-title":"Comput. Sci., v. 7(2), article 18","author":"Koprowski A.","year":"2011"},{"key":"e_1_3_2_1_5_1","first-page":"95","volume-title":"Proc. of 24th Int. Wksh. on Computer Science Logic, CSL 2010, v. 6247 of Lect. Notes in Comput. Sci.","author":"Barthwal A.","year":"2010"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_12"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_20"},{"key":"e_1_3_2_1_8_1","first-page":"173","volume-title":"Proc. of 20th Int. Conf. on Theorem Proving in Higher Order Logics, TPHOLS 2007, v. 4732 of Lect. Notes in Comput. Sci.","author":"Minamide Y.","year":"2007"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481861.1481862"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25379-9_10"},{"key":"e_1_3_2_1_11_1","volume-title":"Dept. of Computer Sci. and Engin.","author":"Sj\u00f6blom T. B.","year":"2013"}],"event":{"name":"POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Mumbai India","acronym":"POPL '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 2015 Conference on Certified Programs and Proofs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2676724.2693177","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2676724.2693177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:13:03Z","timestamp":1750227183000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2676724.2693177"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,13]]},"references-count":11,"alternative-id":["10.1145\/2676724.2693177","10.1145\/2676724"],"URL":"https:\/\/doi.org\/10.1145\/2676724.2693177","relation":{},"subject":[],"published":{"date-parts":[[2015,1,13]]},"assertion":[{"value":"2015-01-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}