Bottom-up Grammar Analysis - A Functional Formulation
No abstract available.
Related papers
- Combining the top-down propagation and bottom-up enumeration for inductive program synthesis POPL 2021
- Functional chart parsing of context-free grammars JFP 2004
- Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding ECOOP 2026
- Finally tagless observable recursion for an abstract grammar model JFP 2012
- Packrats parse in packs Haskell 2017
- Bottom-up shape analysis using LISF TOPLAS 2011
- Bottom-up synthesis of recursive functional programs using angelic execution POPL 2022
- Efficient Bottom-Up Synthesis for Programs with Local Variables POPL 2024