Search results for "packrat"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
208	Kota Mizushima, Atusi Maeda, Yoshinori Yamaguchi	Packrat parsers can handle practical grammars in mostly constant space.	PASTE	2010	DBLP DOI BibTeX RDF	cut operators, packrat parsing, parsing expression grammars, backtracking, memoization, parser generator
179	Bryan Ford	Packrat parsing: : simple, powerful, lazy, linear time, functional pearl.	ICFP	2002	DBLP DOI BibTeX RDF	scannerless parsing, top-down parsing, Haskell, backtracking, memoization, lexical analysis, parser combinators
158	Ralph Becket, Zoltan Somogyi	DCGs + Memoing = Packrat Parsing but Is It Worth It?	PADL	2008	DBLP DOI BibTeX RDF	packrat, recursive descent, DCG, memoing, parsing, tabling, Mercury
158	Alessandro Warth, James R. Douglass, Todd D. Millstein	Packrat parsers can support left recursion.	PEPM	2008	DBLP DOI BibTeX RDF	left recursion, packrat parsing
102	Robert Grimm 0001	Better extensibility through modular syntax.	PLDI	2006	DBLP DOI BibTeX RDF	extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system
31	Ankit Bhardwaj, Amar Phanishayee, Deepak Narayanan, Mihail Tarta, Ryan Stutsman	Packrat: Automatic Reconfiguration for Latency Minimization in CPU-based DNN Serving.	CoRR	2023	DBLP DOI BibTeX RDF
31	Masaki Umeda, Atusi Maeda	Packrat Parsers Can Support Multiple Left-recursive Calls at the Same Position.	J. Inf. Process.	2021	DBLP DOI BibTeX RDF
31	Luke A. D. Hutchison	Pika parsing: reformulating packrat parsing as a dynamic programming algorithm solves the left recursion and error recovery problems.	CoRR	2020	DBLP BibTeX RDF
31	Clement Blaudeau, Natarajan Shankar	A Verified Packrat Parser Interpreter for Parsing Expression Grammars.	CoRR	2020	DBLP BibTeX RDF
31	Nariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi, Koushik Sen	Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms.	CC	2020	DBLP DOI BibTeX RDF
31	Clement Blaudeau, Natarajan Shankar	A verified packrat parser interpreter for parsing expression grammars.	CPP	2020	DBLP DOI BibTeX RDF
31	Yuta Sugimoto, Atusi Maeda	Implementation of C Library for Constructing Packrat Parser with Statically Allocated Memory.	J. Inf. Process.	2018	DBLP DOI BibTeX RDF
31	Patrick Dubroy, Alessandro Warth	Incremental packrat parsing.	SLE	2017	DBLP DOI BibTeX RDF
31	Kimio Kuramitsu	A symbol-based extension of parsing expression grammars and context-sensitive packrat parsing.	SLE	2017	DBLP DOI BibTeX RDF
31	Kimio Kuramitsu	Packrat Parsing with Elastic Sliding Window.	J. Inf. Process.	2015	DBLP DOI BibTeX RDF
31	Bryan Ford	Packrat Parsing: Simple, Powerful, Lazy, Linear Time	CoRR	2006	DBLP BibTeX RDF
31	Gerald C. Gannod, Gora Sudindranath, Mark Fagnani, Betty H. C. Cheng	PACKRAT: A Software Reengineering Case Study.	WCRE	1998	DBLP DOI BibTeX RDF
31	Mark Drummond, Clare Mcmullen, R. Vasudevan	PACKRAT - A Real Time Kernel for Distributed Systems.	RTSS	1982	DBLP BibTeX RDF
28	Bryan Ford	Parsing expression grammars: a recognition-based syntactic foundation.	POPL	2004	DBLP DOI BibTeX RDF	GTDPL, TDPL, packrat parsing, parsing expression grammars, scannerless parsing, syntactic predicates, unified grammars, regular expressions, context-free grammars, lexical analysis, BNF
25	Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky	Effective interactive proofs for higher-order imperative programs.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, dependent types, separation logic, interactive proof assistants