{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:58Z","timestamp":1750306258418,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,2]],"date-time":"2017-01-02T00:00:00Z","timestamp":1483315200000},"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":[[2017,1,2]]},"DOI":"10.1145\/3018882.3018889","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T21:20:29Z","timestamp":1482441629000},"page":"35-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["PEG parsing in less space using progressive tabling and dynamic analysis"],"prefix":"10.1145","author":[{"given":"Fritz","family":"Henglein","sequence":"first","affiliation":[{"name":"University of Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrik Terp","family":"Rasmussen","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,1,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The Theory of Parsing, Translation, and Compiling","author":"Aho A. V.","year":"1972","unstructured":"A. V. Aho and J. D. Ullman . The Theory of Parsing, Translation, and Compiling . Prentice-Hall, Inc. , 1972 . A. V. Aho and J. D. Ullman. The Theory of Parsing, Translation, and Compiling. Prentice-Hall, Inc., 1972."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"R. Becket and Z. Somogyi . DCGs + Memoing = Packrat Parsing but Is It Worth It? In P . Hudak and D. S. Warren editors Practical Aspects of Declarative Languages number 4902 in Lecture Notes in Computer Science pages 182\u2013 196 . Springer Berlin Heidelberg Jan. 2008. R. Becket and Z. Somogyi. DCGs + Memoing = Packrat Parsing but Is It Worth It? In P. Hudak and D. S. Warren editors Practical Aspects of Declarative Languages number 4902 in Lecture Notes in Computer Science pages 182\u2013196. Springer Berlin Heidelberg Jan. 2008.","DOI":"10.1007\/978-3-540-77442-6_13"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1970.18"},{"key":"e_1_3_2_1_4_1","volume-title":"Programming languages and their compilers. preliminary notes. second revised version","author":"Cocke J.","year":"1970","unstructured":"J. Cocke and J. Schwartz . Programming languages and their compilers. preliminary notes. second revised version . Courant Institute of Mathematical Sciences , NYU , 1970 . J. Cocke and J. Schwartz. Programming languages and their compilers. preliminary notes. second revised version. Courant Institute of Mathematical Sciences, NYU, 1970."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/872734.806926"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/362007.362035"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/583852.581483"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/982962.964011"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837647"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10882-7_14"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v39:3"},{"key":"e_1_3_2_1_12_1","volume-title":"DTIC Document","author":"Kasami T.","year":"1965","unstructured":"T. Kasami . An efficient recognition and syntaxanalysis algorithm for context-free languages. Technical report , DTIC Document , 1965 . T. Kasami. An efficient recognition and syntaxanalysis algorithm for context-free languages. Technical report, DTIC Document, 1965."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjjip.23.505"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/505241.505242"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408681.1408683"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.11.006"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034801"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806679"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660202"},{"issue":"1","key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","first-page":"441","DOI":"10.3233\/FUN-2008-851-430","article-title":"Some aspects of parsing expression grammar","volume":"85","author":"Redziejowski R. R.","year":"2008","unstructured":"R. R. Redziejowski . Some aspects of parsing expression grammar . Fundamenta Informaticae , 85 ( 1-4 ): 441 \u2013 451 , 2008 . R. R. Redziejowski. Some aspects of parsing expression grammar. Fundamenta Informaticae, 85(1-4):441\u2013451, 2008.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_21_1","volume-title":"Concurrency Specification and Programming Workshop","author":"Redziejowski R. R.","year":"2009","unstructured":"R. R. Redziejowski . Mouse : From parsing expressions to a practical parser . In Concurrency Specification and Programming Workshop , 2009 . R. R. Redziejowski. Mouse: From parsing expressions to a practical parser. In Concurrency Specification and Programming Workshop, 2009."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2016-1308"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.08.041"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03153-3_6"},{"key":"e_1_3_2_1_25_1","unstructured":"6 6"},{"key":"e_1_3_2_1_26_1","first-page":"4","article-title":"Designing and Implementing Combinator Languages. In S. D. Swierstra, J. N. Oliveira, and P. R. Henriques, editors, Advanced Functional Programming, number 1608 in Lecture Notes in Computer Science, pages 150\u2013206","author":"Swierstra S. D.","year":"1998","unstructured":"S. D. Swierstra , P. R. A. Alcocer , and J. Saraiva . Designing and Implementing Combinator Languages. In S. D. Swierstra, J. N. Oliveira, and P. R. Henriques, editors, Advanced Functional Programming, number 1608 in Lecture Notes in Computer Science, pages 150\u2013206 . Springer Berlin Heidelberg , Sept. 1998 , 4 . S. D. Swierstra, P. R. A. Alcocer, and J. Saraiva. Designing and Implementing Combinator Languages. In S. D. Swierstra, J. N. Oliveira, and P. R. Henriques, editors, Advanced Functional Programming, number 1608 in Lecture Notes in Computer Science, pages 150\u2013206. Springer Berlin Heidelberg, Sept. 1998, 4.","journal-title":"Springer Berlin Heidelberg"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/26386.26390"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)80007-X"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Paris France","acronym":"POPL '17"},"container-title":["Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018882.3018889","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3018882.3018889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:12Z","timestamp":1750220652000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018882.3018889"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,2]]},"references-count":28,"alternative-id":["10.1145\/3018882.3018889","10.1145\/3018882"],"URL":"https:\/\/doi.org\/10.1145\/3018882.3018889","relation":{},"subject":[],"published":{"date-parts":[[2017,1,2]]},"assertion":[{"value":"2017-01-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}