{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:01Z","timestamp":1750220581467,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"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":[[2020,11,16]]},"DOI":"10.1145\/3426425.3426944","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T01:19:49Z","timestamp":1606267189000},"page":"230-245","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A semantic framework for PEGs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0759-0926","authenticated-orcid":false,"given":"S\u00e9rgio Queiroz","family":"de Medeiros","sequence":"first","affiliation":[{"name":"Federal University of Rio Grande do Norte, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7264-7773","authenticated-orcid":false,"given":"Carlos","family":"Olarte","sequence":"additional","affiliation":[{"name":"Federal University of Rio Grande do Norte, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"A partial evaluation framework for order-sorted equational programs modulo axioms. J. Log. Algebraic Methods Program. 110 ( 2020 ). htps:\/\/doi.org\/10.1016\/j.jlamp","author":"Alpuente Mar\u00eda","year":"2019","unstructured":"Mar\u00eda Alpuente , Angel Cuenca-Ortega , Santiago Escobar , and Jos\u00e9 Meseguer . 2020. A partial evaluation framework for order-sorted equational programs modulo axioms. J. Log. Algebraic Methods Program. 110 ( 2020 ). htps:\/\/doi.org\/10.1016\/j.jlamp . 2019 .100501 Mar\u00eda Alpuente, Angel Cuenca-Ortega, Santiago Escobar, and Jos\u00e9 Meseguer. 2020. A partial evaluation framework for order-sorted equational programs modulo axioms. J. Log. Algebraic Methods Program. 110 ( 2020 ). htps:\/\/doi.org\/10.1016\/j.jlamp. 2019.100501"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.04.012"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"key":"e_1_3_2_2_4_1","volume-title":"Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science","volume":"4350","author":"Clavel Manuel","year":"1999","unstructured":"Manuel Clavel , Francisco Dur\u00e1n , Steven Eker , Patrick Lincoln , Narciso Mart\u00ed-Oliet , Jos\u00e9 Meseguer , and Carolyn L . Talcott (Eds.). 2007. All About Maude-A High-Performance Logical Framework, How to Specify , Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science , Vol. 4350 . Springer. htps:\/\/doi.org\/10.1007\/978-3-540-7 1999 -1 Manuel Clavel, Francisco Dur\u00e1n, Steven Eker, Patrick Lincoln, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, and Carolyn L. Talcott (Eds.). 2007. All About Maude-A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science, Vol. 4350. Springer. htps:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"e_1_3_2_2_5_1","first-page":"61580","volume-title":"Dagstuhl Castle","volume":"1110","author":"Danvy Olivier","year":"1996","unstructured":"Olivier Danvy , Robert Gl\u00fcck , and Peter Thiemann ( Eds .). 1996 . Partial Evaluation, International Seminar , Dagstuhl Castle , Germany, February 12-16, 1996, Selected Papers. Lecture Notes in Computer Science , Vol. 1110 . Springer. htps:\/\/doi.org\/10.1007\/3-540- 61580 - 61586 Olivier Danvy, Robert Gl\u00fcck, and Peter Thiemann (Eds.). 1996. Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers. Lecture Notes in Computer Science, Vol. 1110. Springer. htps:\/\/doi.org\/10.1007\/3-540-61580-6"},{"key":"e_1_3_2_2_6_1","volume-title":"Gilney de Azevedo Alvez Junior, and Fabio Mascarenhas","author":"de Medeiros S\u00e9rgio Queiroz","year":"2020","unstructured":"S\u00e9rgio Queiroz de Medeiros , Gilney de Azevedo Alvez Junior, and Fabio Mascarenhas . 2020 . Automatic syntax error reporting and recovery in parsing expression grammars. Sci. Comput. Program . 187 ( 2020 ), 102373. htps:\/\/doi.org\/10.1016\/j.scico. 2019.102373 S\u00e9rgio Queiroz de Medeiros, Gilney de Azevedo Alvez Junior, and Fabio Mascarenhas. 2020. Automatic syntax error reporting and recovery in parsing expression grammars. Sci. Comput. Program. 187 ( 2020 ), 102373. htps:\/\/doi.org\/10.1016\/j.scico. 2019.102373"},{"key":"e_1_3_2_2_7_1","volume-title":"Talcott","author":"Dur\u00e1n Francisco","year":"2020","unstructured":"Francisco Dur\u00e1n , Steven Eker , Santiago Escobar , Narciso Mart\u00ed-Oliet , Jos\u00e9 Meseguer , Rub\u00e9n Rubio , and Carolyn L . Talcott . 2020 . Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program . 110 ( 2020 ). htps:\/\/doi.org\/10.1016\/j.jlamp. 2019.100497 Francisco Dur\u00e1n, Steven Eker, Santiago Escobar, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, Rub\u00e9n Rubio, and Carolyn L. Talcott. 2020. Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 ( 2020 ). htps:\/\/doi.org\/10.1016\/j.jlamp. 2019.100497"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964011"},{"key":"e_1_3_2_2_9_1","volume-title":"Recognising and Generating Terms using Derivatives of Parsing Expression Grammars. CoRR abs\/","author":"Garnock-Jones Tony","year":"1801","unstructured":"Tony Garnock-Jones , Mahdi Eslamimehr , and Alessandro Warth . 2018. Recognising and Generating Terms using Derivatives of Parsing Expression Grammars. CoRR abs\/ 1801 .10490 ( 2018 ). arXiv: 1801.10490 htp:\/\/arxiv.org\/abs\/ 1801.10490 Tony Garnock-Jones, Mahdi Eslamimehr, and Alessandro Warth. 2018. Recognising and Generating Terms using Derivatives of Parsing Expression Grammars. CoRR abs\/ 1801.10490 ( 2018 ). arXiv: 1801.10490 htp:\/\/arxiv.org\/abs\/ 1801.10490"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133987"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3264637.3264640"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000411"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40922-6_1"},{"key":"e_1_3_2_2_14_1","volume-title":"Error reporting in Parsing Expression Grammars. Sci. Comput. Program. 132 ( 2016 ), 129-140. htps: \/\/doi.org\/10.1016\/j.scico","author":"Maidl Andr\u00e9 Murbach","year":"2016","unstructured":"Andr\u00e9 Murbach Maidl , Fabio Mascarenhas , S\u00e9rgio Medeiros , and Roberto Ierusalimschy . 2016. Error reporting in Parsing Expression Grammars. Sci. Comput. Program. 132 ( 2016 ), 129-140. htps: \/\/doi.org\/10.1016\/j.scico . 2016 . 08.004 Andr\u00e9 Murbach Maidl, Fabio Mascarenhas, S\u00e9rgio Medeiros, and Roberto Ierusalimschy. 2016. Error reporting in Parsing Expression Grammars. Sci. Comput. Program. 132 ( 2016 ), 129-140. htps: \/\/doi.org\/10.1016\/j.scico. 2016. 08.004"},{"key":"e_1_3_2_2_15_1","volume-title":"On the relation between context-free grammars and parsing expression grammars. Sci. Comput. Program. 89 ( 2014 ), 235-250. htps:\/\/doi.org\/ 10.1016\/j.scico","author":"Mascarenhas Fabio","year":"2014","unstructured":"Fabio Mascarenhas , S\u00e9rgio Medeiros , and Roberto Ierusalimschy . 2014. On the relation between context-free grammars and parsing expression grammars. Sci. Comput. Program. 89 ( 2014 ), 235-250. htps:\/\/doi.org\/ 10.1016\/j.scico . 2014 . 01.012 Fabio Mascarenhas, S\u00e9rgio Medeiros, and Roberto Ierusalimschy. 2014. On the relation between context-free grammars and parsing expression grammars. Sci. Comput. Program. 89 ( 2014 ), 235-250. htps:\/\/doi.org\/ 10.1016\/j.scico. 2014. 01.012"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167261"},{"key":"e_1_3_2_2_17_1","unstructured":"Jos\u00e9 Meseguer. 1992. Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science 96 1 ( 1992 ) 73-155. htps:\/\/doi.org\/10.1016\/ 0304-3975 ( 92 ) 90182-F  Jos\u00e9 Meseguer. 1992. Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science 96 1 ( 1992 ) 73-155. htps:\/\/doi.org\/10.1016\/ 0304-3975 ( 92 ) 90182-F"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.06.003"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034801"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806679"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-40608-0_30"},{"key":"e_1_3_2_2_22_1","volume-title":"parboiled2: a macro-based approach for efective generators of parsing expressions grammars in Scala. CoRR abs\/","author":"Myltsev Alexander A.","year":"1907","unstructured":"Alexander A. Myltsev . 2019. parboiled2: a macro-based approach for efective generators of parsing expressions grammars in Scala. CoRR abs\/ 1907 .03436 ( 2019 ). arXiv: 1907.03436 htp:\/\/arxiv.org\/abs\/ 1907. 03436 Alexander A. Myltsev. 2019. parboiled2: a macro-based approach for efective generators of parsing expressions grammars in Scala. CoRR abs\/ 1907.03436 ( 2019 ). arXiv: 1907.03436 htp:\/\/arxiv.org\/abs\/ 1907. 03436"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993548"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357766.3359542"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2009-0105"},{"key":"e_1_3_2_2_26_1","volume-title":"Concurrency Specification and Programming Workshop.","author":"Redziejowski Roman R.","year":"2015","unstructured":"Roman R. Redziejowski . 2015 . Mouse: From Parsing Expressions to a Practical Parser . In Concurrency Specification and Programming Workshop. Roman R. Redziejowski. 2015. Mouse: From Parsing Expressions to a Practical Parser. In Concurrency Specification and Programming Workshop."},{"key":"e_1_3_2_2_27_1","volume-title":"K Overview and SIMPLE Case Study. Electron. Notes Theor. Comput. Sci. 304 ( 2014 ), 3-56. htps:\/\/doi.org\/10.1016\/j.entcs","author":"Rosu Grigore","year":"2014","unstructured":"Grigore Rosu and Traian-Florin Serbanuta . 2014. K Overview and SIMPLE Case Study. Electron. Notes Theor. Comput. Sci. 304 ( 2014 ), 3-56. htps:\/\/doi.org\/10.1016\/j.entcs . 2014 . 05.002 Grigore Rosu and Traian-Florin Serbanuta. 2014. K Overview and SIMPLE Case Study. Electron. Notes Theor. Comput. Sci. 304 ( 2014 ), 3-56. htps:\/\/doi.org\/10.1016\/j.entcs. 2014. 05.002"},{"key":"e_1_3_2_2_28_1","volume-title":"Concurrent Constraint Programming. In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages","author":"Vijay","year":"1990","unstructured":"Vijay A. Saraswat and Martin C. Rinard. 1990 . Concurrent Constraint Programming. In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages , San Francisco, California, USA , January 1990 , Frances E. Allen (Ed.). ACM Press, 232-245. htps:\/\/doi.org\/10.1145\/96709.96733 Vijay A. Saraswat and Martin C. Rinard. 1990. Concurrent Constraint Programming. In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990, Frances E. Allen (Ed.). ACM Press, 232-245. htps:\/\/doi.org\/10.1145\/96709.96733"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"SPLASH '20"},"container-title":["Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426944","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426425.3426944","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:33Z","timestamp":1750195893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426944"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":28,"alternative-id":["10.1145\/3426425.3426944","10.1145\/3426425"],"URL":"https:\/\/doi.org\/10.1145\/3426425.3426944","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}