|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 17 keywords
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010, pp. 29-36, 2010, ACM, 978-1-4503-0082-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 36-47, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 182-196, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 103-110, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
left recursion, packrat parsing |
102 | Robert Grimm 0001 |
Better extensibility through modular syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 38-51, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.18174, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Masaki Umeda, Atusi Maeda |
Packrat Parsers Can Support Multiple Left-recursive Calls at the Same Position. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 29, pp. 174-187, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06444, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
31 | Clement Blaudeau, Natarajan Shankar |
A Verified Packrat Parser Interpreter for Parsing Expression Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.04457, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: CC '20: 29th International Conference on Compiler Construction, San Diego, CA, USA, February 22-23, 2020, pp. 155-166, 2020, ACM, 978-1-4503-7120-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Clement Blaudeau, Natarajan Shankar |
A verified packrat parser interpreter for parsing expression grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020., pp. 3-17, 2020, ACM, 978-1-4503-7097-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Yuta Sugimoto, Atusi Maeda |
Implementation of C Library for Constructing Packrat Parser with Statically Allocated Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 26, pp. 335-344, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Patrick Dubroy, Alessandro Warth |
Incremental packrat parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017, pp. 14-25, 2017, ACM, 978-1-4503-5525-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Kimio Kuramitsu |
A symbol-based extension of parsing expression grammars and context-sensitive packrat parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017, pp. 26-37, 2017, ACM, 978-1-4503-5525-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Kimio Kuramitsu |
Packrat Parsing with Elastic Sliding Window. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 23(4), pp. 505-512, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Bryan Ford |
Packrat Parsing: Simple, Powerful, Lazy, Linear Time ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0603077, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
31 | Gerald C. Gannod, Gora Sudindranath, Mark Fagnani, Betty H. C. Cheng |
PACKRAT: A Software Reengineering Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 5th Working Conference on Reverse Engineering, WCRE '98, Honolulu, Hawai, USA, October 12-14, 1998, pp. 125-134, 1998, IEEE Computer Society, 0-8186-8967-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Mark Drummond, Clare Mcmullen, R. Vasudevan |
PACKRAT - A Real Time Kernel for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the Real-Time Systems Symposium, RTSS 1982, Los Angeles, California, USA, December 7-9, 1982, pp. 151-154, 1982, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Bryan Ford |
Parsing expression grammars: a recognition-based syntactic foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 111-122, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 79-90, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
functional programming, dependent types, separation logic, interactive proof assistants |
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|