{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:37:38Z","timestamp":1775054258996,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,1,17]],"date-time":"2010-01-17T00:00:00Z","timestamp":1263686400000},"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":[[2010,1,17]]},"DOI":"10.1145\/1706299.1706347","type":"proceedings-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T15:15:04Z","timestamp":1263914104000},"page":"417-430","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Semantics and algorithms for data-dependent grammars"],"prefix":"10.1145","author":[{"given":"Trevor","family":"Jim","sequence":"first","affiliation":[{"name":"AT&T Labs - Research, Florham Park, NJ, USA"}]},{"given":"Yitzhak","family":"Mandelbaum","sequence":"additional","affiliation":[{"name":"AT&T Labs - Research, Florham Park, NJ, USA"}]},{"given":"David","family":"Walker","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,1,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029007"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3115\/977180.977232"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"M. Crispin. Internet Message Access Protocol -- Version 4rev1. http:\/\/www.ietf.org\/rfc\/rfc3501.txt March 2003.   M. Crispin. Internet Message Access Protocol -- Version 4rev1. http:\/\/www.ietf.org\/rfc\/rfc3501.txt March 2003.","DOI":"10.17487\/rfc3501"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/362007.362035"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00722-4_10"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065046"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111039"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328488"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581483"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964011"},{"key":"e_1_3_2_1_13_1","unstructured":"Ian Hickson and David Hyatt. HTML 5: A vocabulary and associated APIs for HTML and XHTML. http:\/\/dev.w3.org\/html5\/spec\/Overview.html#parsing.  Ian Hickson and David Hyatt. HTML 5: A vocabulary and associated APIs for HTML and XHTML. http:\/\/dev.w3.org\/html5\/spec\/Overview.html#parsing."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944727"},{"key":"e_1_3_2_1_15_1","volume-title":"Workshop on Language Descriptions Tools and Applications","author":"Jim Trevor","year":"2009","unstructured":"Trevor Jim and Yitzhak Mandelbaum . Efficient earley parsing with regular right-hand sides . In Workshop on Language Descriptions Tools and Applications , 2009 . Trevor Jim and Yitzhak Mandelbaum. Efficient earley parsing with regular right-hand sides. In Workshop on Language Descriptions Tools and Applications, 2009."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/647468.727088"},{"issue":"2","key":"e_1_3_2_1_18_1","first-page":"127","article-title":"Semantics of context-free languages","volume":"2","author":"Knuth Donald E.","year":"1968","unstructured":"Donald E. Knuth . Semantics of context-free languages . Theory of Computing Systems , 2 ( 2 ): 127 -- 145 , June 1968 . Donald E. Knuth. Semantics of context-free languages. Theory of Computing Systems, 2(2):127--145, June 1968.","journal-title":"Theory of Computing Systems"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365257"},{"key":"e_1_3_2_1_20_1","volume-title":"The Objective Caml system release 3.10: Documentation and user's manual","author":"Leroy Xavier","year":"2007","unstructured":"Xavier Leroy , Damien Doligez , Jacques Garrigue , Didier R\u00e9my , and J\u00e9r\u00f3me Vouillon . The Objective Caml system release 3.10: Documentation and user's manual , 2007 . Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier R\u00e9my, and J\u00e9r\u00f3me Vouillon. The Objective Caml system release 3.10: Documentation and user's manual, 2007."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(74)80045-0"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190231"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24723-4_6"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"A. Melnikov. Collected extensions to IMAP4 ABNF. http:\/\/www.ietf.org\/rfc\/rfc4466.txt April 2006.  A. Melnikov. Collected extensions to IMAP4 ABNF. http:\/\/www.ietf.org\/rfc\/rfc4466.txt April 2006.","DOI":"10.17487\/rfc4466"},{"key":"e_1_3_2_1_26_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/3-540-55984-1_4","volume-title":"Compiler Construction","author":"M\u00fcller Karel","year":"1992","unstructured":"Karel M\u00fcller . Attribute-directed top-down parsing . In Compiler Construction , volume 641 of Lecture Notes in Computer Science , pages 37 -- 43 . Springer Berlin , 1992 . Karel M\u00fcller. Attribute-directed top-down parsing. In Compiler Construction, volume 641 of Lecture Notes in Computer Science, pages 37--43. Springer Berlin, 1992."},{"key":"e_1_3_2_1_27_1","volume-title":"SSL and TLS: Designing and Building Secure Systems","author":"Rescorla Eric","year":"2000","unstructured":"Eric Rescorla . SSL and TLS: Designing and Building Secure Systems . Addison-Wesley Professional , October 2000 . Eric Rescorla. SSL and TLS: Designing and Building Secure Systems. Addison-Wesley Professional, October 2000."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74833"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications (LDTA)","author":"Scott Elizabeth","year":"2007","unstructured":"Elizabeth Scott . SPPF-style parsing from Earley recognisers . In Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications (LDTA) , March 2007 . Elizabeth Scott. SPPF-style parsing from Earley recognisers. In Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications (LDTA), March 2007."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146809.1146810"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(94)00125-1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727925"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/647468.727087"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/355598.362773"}],"event":{"name":"POPL '10: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Madrid Spain","acronym":"POPL '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1706299.1706347","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1706299.1706347","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:26:19Z","timestamp":1750263979000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1706299.1706347"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,17]]},"references-count":30,"alternative-id":["10.1145\/1706299.1706347","10.1145\/1706299"],"URL":"https:\/\/doi.org\/10.1145\/1706299.1706347","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1707801.1706347","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,1,17]]},"assertion":[{"value":"2010-01-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}