Modelling String Folding with G2L Grammars
Abstract
No abstract available.
Related papers
- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
- Continuous Grammars POPL 1999
- Proactive Synthesis of Recursive Tree-to-String Functions from Examples ECOOP 2017
- Locally Least-Cost Error Recovery in Early's Algorithm TOPLAS 1981
- Static Inference of Regular Grammars for Ad Hoc Parsers OOPSLA 2025
- Precise Analysis of String Expressions SAS 2003
- Multiple lexicalisation (a Java based study) SLE 2019
- Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI 2025