Filters








598 Hits in 3.9 sec

Recursive descent parsing for Boolean grammars

Alexander Okhotin
<span title="2007-04-27">2007</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cnqseeosvrf6tnj6sc3lbn2y4e" style="color: black;">Acta Informatica</a> </i> &nbsp;
The recursive descent parsing method for the context-free grammars is extended for their generalization, Boolean grammars, which include explicit set-theoretic operations in the formalism of rules and  ...  The algorithm is applicable to a subset of Boolean grammars. The complexity of a direct implementation varies between linear and exponential, while memoization keeps it down to linear.  ...  Strongly non-left-recursive grammars Context-free recursive descent parsing requires the grammar to be free of left recursion, which means that no nonterminal A can derive Aδ for any δ ∈ (Σ ∪ N ) * .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00236-007-0045-0">doi:10.1007/s00236-007-0045-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lxcvqm6lp5f5rhi2jzjmwzvgra">fatcat:lxcvqm6lp5f5rhi2jzjmwzvgra</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160413112744/http://users.utu.fi/aleokh/papers/boolean_LL.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/20/b5/20b5a66944766ff46aa259a44a7c193133fad366.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00236-007-0045-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

LL(1) Conflict Resolution in a Recursive Descent Compiler Generator [chapter]

Albrecht Wöß, Markus Löberbauer, Hanspeter Mössenböck
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Recursive descent parsing is restricted to languages whose grammars are LL(1), i.e., which can be parsed top-down with a single lookahead symbol.  ...  In this paper we suggest a systematic technique for resolving LL(1) conflicts in recursive descent parsing and show how to integrate it into a compiler generator (Coco/R [9]).  ...  Introduction Recursive descent parsing [16] is a popular top-down parsing technique that is simple, efficient, and convenient for integrating semantic processing.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-45213-3_25">doi:10.1007/978-3-540-45213-3_25</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hhu47ihu3jgy7jkdlw4vb2dh4u">fatcat:hhu47ihu3jgy7jkdlw4vb2dh4u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110810031242/http://www.ssw.uni-linz.ac.at/coco/Doc/ConflictResolvers.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c7/f8/c7f8d055843c5b0feaae3474f9f02404b96fea30.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-45213-3_25"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Coroutine Approach to Parsing

Hanan Samet
<span title="1980-07-01">1980</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4hplau6wtnhnfnqt2t7vbri6vm" style="color: black;">ACM Transactions on Programming Languages and Systems</a> </i> &nbsp;
The utility of the model is further demonstrated by showing its adaptation to a recursive descent parser.  ...  Some examples include comments, macros, and constructs for conditional compilation. Each such construct is defined by its own grammar and parsed by a separate coroutine.  ...  I also thank Sue Graham for her editing help.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/357103.357106">doi:10.1145/357103.357106</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u3h2jncjjjbxzfg7jjhzq6jhfm">fatcat:u3h2jncjjjbxzfg7jjhzq6jhfm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070418185118/http://www.cs.umd.edu/~hjs/pubs/compilers/coroutine-approach-parsing.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/47/b5/47b5e9702758bdc2f95bb726167e66f3bd8da910.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/357103.357106"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A simple P-complete problem and its language-theoretic representations

Alexander Okhotin
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
grammars [24] , which can be parsed using a generalization of the recursive descent.  ...  The latter result implies P -completeness of some variants of the recursive descent parsing used in software engineering [5] .  ...  The first of them is the family of grammars usable with the linear time recursive descent parsing: Definition 3 ([24] ).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2010.09.015">doi:10.1016/j.tcs.2010.09.015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sbpjiaqdwrf2bkkvaac7o44ivu">fatcat:sbpjiaqdwrf2bkkvaac7o44ivu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170929012104/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/70a/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzUxMDAwNDk0OQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6c/e9/6ce94b262cae805e82a72f801e37975cef108b73.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2010.09.015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Expressive power of LL(k) Boolean grammars

Alexander Okhotin
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
The paper studies the family of Boolean LL languages, generated by Boolean grammars and usable with the recursive descent parsing.  ...  by any linear Boolean LL grammars.  ...  Acknowledgements The author is grateful to the anonymous reviewers for careful reading and numerous valuable comments, and particularly for noticing a serious error in the earlier ad hoc proof of Example  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2011.05.013">doi:10.1016/j.tcs.2011.05.013</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mw3g3rip4zferecbwacbfrijou">fatcat:mw3g3rip4zferecbwacbfrijou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190416005234/https://core.ac.uk/download/pdf/82689634.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/db/aa/dbaa11831460d34699c96ea946b2cd1788f09cb3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2011.05.013"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Conjunctive and Boolean grammars: The true general case of the context-free grammars

Alexander Okhotin
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/x3ibtg2oifh47c73tgo66gjrw4" style="color: black;">Computer Science Review</a> </i> &nbsp;
This paper surveys the results on conjunctive and Boolean grammars obtained over the last decade, comparing them to the corresponding results for ordinary context-free grammars and their main subfamilies  ...  Conjunctive grammars extend the definition of a context-free grammar by allowing a conjunction operation in the rules; Boolean grammars are further equipped with an explicit negation.  ...  Recursive descent The recursive descent is likely the simplest and the most well-known parsing method, which has been in use since the early 1960s.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cosrev.2013.06.001">doi:10.1016/j.cosrev.2013.06.001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vjrnokycqres5mfpdupksfaumm">fatcat:vjrnokycqres5mfpdupksfaumm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810132751/http://users.utu.fi/aleokh/papers/boolean_survey.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/57/9a/579aadb6e1a18a43aca88aef9e420d656cc9c3ab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cosrev.2013.06.001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A generator for production quality compilers [chapter]

Hanspeter Mössenböck
<span title="">1991</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Coco/R reads an attributed EBNF grammar of a language and translates it into a recursive descent parser and a scanner for that language.  ...  This paper presents a compiler description language and its implementation Coco/R (Compiler Compiler for Recursive Descent).  ...  For small grammars a recursive descent parser is probably smaller than a table-driven parser.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-53669-8_73">doi:10.1007/3-540-53669-8_73</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i2vsrrqrobavdb72hsnayjf7wq">fatcat:i2vsrrqrobavdb72hsnayjf7wq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818234144/https://link.springer.com/content/pdf/10.1007%2F3-540-53669-8_73.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/30/ed/30ed4cd82adaa2120a14574200a73acdaf8601af.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-53669-8_73"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Staged parser combinators for efficient data processing

Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages &amp; Applications - OOPSLA &#39;14</a> </i> &nbsp;
Our approach applies to top-down recursive-descent parsers as well as bottom-up nondeterministic parsers with key applications in dynamic programming on sequences, where we auto-generate code for parallel  ...  Parser combinators are an intuitive tool for writing parsers: tight integration with the host language enables grammar specifications to be interleaved with processing of parse results.  ...  Acknowledgments We thank members of the LAMP team at EPFL for many fruitful discussions and insightful suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2660193.2660241">doi:10.1145/2660193.2660241</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/JonnalageddaCSRO14.html">dblp:conf/oopsla/JonnalageddaCSRO14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lpq3peudivdmtkzrqmfpx4ox7e">fatcat:lpq3peudivdmtkzrqmfpx4ox7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160412024321/http://infoscience.epfl.ch/record/203076/files/p637-jonnalagedda.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/82/8b/828b44771ff28d8fea10cdfabd8772cecf042bb1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2660193.2660241"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Staged parser combinators for efficient data processing

Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky
<span title="2014-10-15">2014</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Our approach applies to top-down recursive-descent parsers as well as bottom-up nondeterministic parsers with key applications in dynamic programming on sequences, where we auto-generate code for parallel  ...  Parser combinators are an intuitive tool for writing parsers: tight integration with the host language enables grammar specifications to be interleaved with processing of parse results.  ...  Acknowledgments We thank members of the LAMP team at EPFL for many fruitful discussions and insightful suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2714064.2660241">doi:10.1145/2714064.2660241</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mnjmyqojmrf57b3q5ze525jtk4">fatcat:mnjmyqojmrf57b3q5ze525jtk4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160412024321/http://infoscience.epfl.ch/record/203076/files/p637-jonnalagedda.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/82/8b/828b44771ff28d8fea10cdfabd8772cecf042bb1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2714064.2660241"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Grammar-Based Specification and Parsing of Binary File Formats

William Underwood
<span title="2012-03-09">2012</span> <i title="Edinburgh University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rszs46px3ja5znh2gu3arck37a" style="color: black;">International Journal of Digital Curation</a> </i> &nbsp;
Among the potential benefits of an attribute grammar-based approach to specification and parsing of binary file formats is that attribute grammars not only support format validation, but support generation  ...  A parser generator has been used with some of these grammars to generate syntax checkers (recognizers) for validating binary file formats.  ...  A Recursive Descent Parser for Binary File Format Grammars A recursive descent parser is a top-down parser built from a set of recursive procedures (or a non-recursive equivalent), where each such procedure  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2218/ijdc.v7i1.217">doi:10.2218/ijdc.v7i1.217</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ge52675hifdwpgspsiefu7dteu">fatcat:ge52675hifdwpgspsiefu7dteu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20141016083051/http://www.ijdc.net:80/index.php/ijdc/article/viewFile/207/276" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/78/a0/78a015181fd822a5de14dc21310060df1556efcb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2218/ijdc.v7i1.217"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Pika parsing: reformulating packrat parsing as a dynamic programming algorithm solves the left recursion and error recovery problems [article]

Luke A. D. Hutchison
<span title="2020-07-07">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
A packrat parser uses memoization to reduce the time complexity for recursive descent parsing from exponential to linear in the length of the input.  ...  A recursive descent parser is built from a set of mutually-recursive functions, where each function directly implements one of the nonterminals of a grammar.  ...  Recursive descent parsing works exactly like the hierarchical evaluation of a recurrence relation, however for recursive descent parsing, the dependencies between recurrence frames are dynamic: any Seq  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.06444v4">arXiv:2005.06444v4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t3b5n6nqbvc53gezitsxngsqri">fatcat:t3b5n6nqbvc53gezitsxngsqri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200721231524/https://arxiv.org/pdf/2005.06444v4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.06444v4" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

GLL Parsing

Elizabeth Scott, Adrian Johnstone
<span title="">2010</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
We develop the fully general GLL parsing technique which is recursive descent-like, and has the property that the parse follows closely the structure of the grammar rules, but uses RNGLR-like machinery  ...  The resulting recognisers run in worst-case cubic time and can be built even for left recursive grammars.  ...  A recursive descent parser consists of a collection of parse functions, p A (), one for each non-terminal A in the grammar.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2010.08.041">doi:10.1016/j.entcs.2010.08.041</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wz3iu44dcrfwna24uhshmg2274">fatcat:wz3iu44dcrfwna24uhshmg2274</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170303191352/http://dotat.at/tmp/gll.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/71/99/719948c80707891652a18510a5d199ed3fa62e17.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2010.08.041"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Formal foundations for semi-parsing

Vadim Zaytsev
<span title="">2014</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7bxtpp5fdjfohafns6t4goc57q" style="color: black;">2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)</a> </i> &nbsp;
With a combination of recently developed formal methods such as Boolean grammars and parsing schemata, we can model different tolerant methods of modelling software and formally argue about relationships  ...  There exist many techniques for imprecise manipulation of source code (robust parsing, error repair, lexical analysis, etc), mostly relying on heuristic-based tolerance.  ...  Technical support for Boolean grammars includes parsing algorithms in the styles of recursive descent [29] , LL(k) [30] , LR [28] , SGLR/RNGLR [22] and TXL parse views [38] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csmr-wcre.2014.6747184">doi:10.1109/csmr-wcre.2014.6747184</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/csmr/Zaytsev14.html">dblp:conf/csmr/Zaytsev14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ynyggy46c5e2pogabh2rnfstbu">fatcat:ynyggy46c5e2pogabh2rnfstbu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722155333/https://pure.uva.nl/ws/files/2029073/149245_semiparsing.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9d/a2/9da2a639069bf75c85222453e43565a07c89635f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csmr-wcre.2014.6747184"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Fast Parsing for Boolean Grammars: A Generalization of Valiant's Algorithm [chapter]

Alexander Okhotin
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The well-known parsing algorithm for the context-free grammars due to Valiant ("General context-free recognition in less than cubic time", Journal of Computer and System Sciences, 10:2 (1975), 308-314)  ...  is refactored and generalized to handle the more general Boolean grammars.  ...  LR [8] , as well as the linear-time recursive descent [9] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-14455-4_31">doi:10.1007/978-3-642-14455-4_31</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5zpoj2qfdjg2jf3fwvegoilnma">fatcat:5zpoj2qfdjg2jf3fwvegoilnma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110608061906/http://users.utu.fi/aleokh/papers/boolean_matrix.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/71/da71fd25f6c5b265692e8c48bd99587dd254a1a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-14455-4_31"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Parsing by matrix multiplication generalized to Boolean grammars

Alexander Okhotin
<span title="">2014</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
The well-known parsing algorithm for the context-free grammars due to Valiant ("General context-free recognition in less than cubic time", Journal of Computer and System Sciences, 10:2 (1975), 308-314)  ...  is refactored and generalized to handle the more general Boolean grammars.  ...  LR [8] , as well as the linear-time recursive descent [9] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2013.09.011">doi:10.1016/j.tcs.2013.09.011</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ipyddkufqnectcpv4wm5lm2plu">fatcat:ipyddkufqnectcpv4wm5lm2plu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110608061906/http://users.utu.fi/aleokh/papers/boolean_matrix.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/71/da71fd25f6c5b265692e8c48bd99587dd254a1a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2013.09.011"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 598 results