{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:21Z","timestamp":1750221261720,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,20]],"date-time":"2018-09-20T00:00:00Z","timestamp":1537401600000},"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":[[2018,9,20]]},"DOI":"10.1145\/3264637.3264646","type":"proceedings-article","created":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T12:11:35Z","timestamp":1536581495000},"page":"67-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards certified virtual machine-based regular expression parsing"],"prefix":"10.1145","author":[{"given":"Thales Ant\u00f4nio","family":"Delfino","sequence":"first","affiliation":[{"name":"Universidade Federal de Ouro Preto, Ouro Preto, Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"Universidade Federal de Ouro Preto, Ouro Preto, Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"6th International Conference, TLCA 2003, Valencia, Spain, June 10--12, 2003, Proceedings. (Lecture Notes in Computer Science), Martin Hofmann (Ed.)","volume":"2701","author":"Abbott Michael Gordon","year":"2003"},{"unstructured":"Alfred V. Aho Ravi Sethi and Jeffrey D. Ullman. 1986. Compilers: Principles Techniques and Tools. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.   Alfred V. Aho Ravi Sethi and Jeffrey D. Ullman. 1986. Compilers: Principles Techniques and Tools. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.","key":"e_1_3_2_1_2_1"},{"unstructured":"Andrea Asperti Claudio Sacerdoti Coen and Enrico Tassi. 2010. Regular Expressions au point. CoRR abs\/1010.2604 (2010). arXiv:1010.2604 http:\/\/arxiv.org\/abs\/1010.2604  Andrea Asperti Claudio Sacerdoti Coen and Enrico Tassi. 2010. Regular Expressions au point. CoRR abs\/1010.2604 (2010). arXiv:1010.2604 http:\/\/arxiv.org\/abs\/1010.2604","key":"e_1_3_2_1_3_1"},{"unstructured":"Yves Bertot and Pierre Castran. 2010. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions (1st ed.). Springer Publishing Company Incorporated.   Yves Bertot and Pierre Castran. 2010. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions (1st ed.). Springer Publishing Company Incorporated.","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/351240.351266"},{"unstructured":"Russ Cox. 2009. Regular Expression Matching: the Virtual Machine Approach. (2009). https:\/\/swtch.com\/  Russ Cox. 2009. Regular Expression Matching: the Virtual Machine Approach. (2009). https:\/\/swtch.com\/","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"crossref","unstructured":"Thales Delfino and Rodrigo Ribeiro. 2018. Towards certified virtual machine-based regular expression parsing --- On-line repository. https:\/\/github.com\/thalesad\/regexvm. (2018).  Thales Delfino and Rodrigo Ribeiro. 2018. Towards certified virtual machine-based regular expression parsing --- On-line repository. https:\/\/github.com\/thalesad\/regexvm. (2018).","key":"e_1_3_2_1_7_1","DOI":"10.1145\/3264637.3264646"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/s002360000037"},{"unstructured":"Matthias Felleisen Robert Bruce Findler and Matthew Flatt. 2009. Semantics Engineering with PLT Redex (1st ed.). The MIT Press.   Matthias Felleisen Robert Bruce Findler and Matthew Flatt. 2009. Semantics Engineering with PLT Redex (1st ed.). The MIT Press.","key":"e_1_3_2_1_9_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/978-3-319-03545-1_7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1932681.1863594"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/964001.964011"},{"key":"e_1_3_2_1_13_1","first-page":"618","article-title":"Greedy Regular Expression Matching. ICALP 2004 - International Colloquium on Automata","volume":"3142","author":"Frisch Alain","year":"2004","journal-title":"Languages and Programming"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1291201.1291203"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1070\/RM1961v016n05ABEH004112"},{"doi-asserted-by":"crossref","unstructured":"Roberto Ierusalimschy. 2009. A text patternmatching tool based on parsing expression grammars. Software - Practice and Experience (2009).   Roberto Ierusalimschy. 2009. A text patternmatching tool based on parsing expression grammars. Software - Practice and Experience (2009).","key":"e_1_3_2_1_16_1","DOI":"10.1002\/spe.892"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1007\/BF00289517"},{"unstructured":"Miran Lipovaca. 2011. Learn You a Haskell for Great Good!: A Beginner's Guide (1st ed.). No Starch Press San Francisco CA USA.   Miran Lipovaca. 2011. Learn You a Haskell for Great Good!: A Beginner's Guide (1st ed.). No Starch Press San Francisco CA USA.","key":"e_1_3_2_1_18_1"},{"unstructured":"A. Loh. {n. d.}. Typesetting Haskell and more with lhs2TeX. ({n. d.}). http:\/\/www.cs.uu.nl\/~  A. Loh. {n. d.}. Typesetting Haskell and more with lhs2TeX. ({n. d.}). http:\/\/www.cs.uu.nl\/~","key":"e_1_3_2_1_19_1"},{"volume-title":"Programming Languages --- Lecture Notes in Computer Science 9889","author":"Lopes Raul","key":"e_1_3_2_1_20_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/1328438.1328474"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/1408681.1408683"},{"doi-asserted-by":"crossref","unstructured":"Lasse Nielsen and Fritz Henglein. 2011. Bit-coded Regular Expression Parsing. In Language and Automata Theory and Applications Adrian-Horia Dediu Shunsuke Inenaga and Carlos Mart\u00edn-Vide (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 402--413.   Lasse Nielsen and Fritz Henglein. 2011. Bit-coded Regular Expression Parsing. In Language and Automata Theory and Applications Adrian-Horia Dediu Shunsuke Inenaga and Carlos Mart\u00edn-Vide (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 402--413.","key":"e_1_3_2_1_23_1","DOI":"10.1007\/978-3-642-21254-3_32"},{"volume-title":"Regular Expression Matching and Operational Semantics. Electronic Proceedings in Theoretical Computer Science 62","year":"2011","author":"Rathnayake Asiri","key":"e_1_3_2_1_24_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/3125374.3125381"},{"key":"e_1_3_2_1_26_1","volume-title":"FLOPS 2014, Kanazawa, Japan, June 4--6, 2014. Proceedings (Lecture Notes in Computer Science), Michael Codish and Eijiro Sumii (Eds.)","volume":"8475","author":"Sulzmann Martin","year":"2014"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1145\/363347.363387"}],"event":{"acronym":"SBLP 2018","name":"SBLP 2018: XXII Brazilian Symposium on Programming Languages","location":"Sao Carlos Brazil"},"container-title":["Proceedings of the XXII Brazilian Symposium on Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3264637.3264646","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3264637.3264646","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:10:54Z","timestamp":1750212654000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3264637.3264646"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,20]]},"references-count":27,"alternative-id":["10.1145\/3264637.3264646","10.1145\/3264637"],"URL":"https:\/\/doi.org\/10.1145\/3264637.3264646","relation":{},"subject":[],"published":{"date-parts":[[2018,9,20]]},"assertion":[{"value":"2018-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}