Inferring Grammatical Summaries of String Values
No abstract available.
Related papers
- Grammatical Inference in Software Engineering: An Overview of the State of the Art SLE 2012
- Grammatical Framework JFP 2004
- Computing summaries of string loops in C for better testing and refactoring PLDI 2019
- Saggitarius: A DSL for Specifying Grammatical Domains OOPSLA 2023
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- Generating precise and concise procedure summaries POPL 2008
- The Power of Regular Constraint Propagation OOPSLA 2025
- Controlled Grammatic Ambiguity TOPLAS 1994