Verifiable composition of deterministic grammars
Abstract
There is an increasing interest in extensible languages,
Related papers
- Verifiable Parse Table Composition for Deterministic Parsing SLE 2009
- Parallel Parsing Processes JFP 2004
- Deterministic Parsing of Ambiguous Grammars POPL 1973
- Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI 2025
- A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling TOPLAS 1979
- Synthesizing Context-free Grammars from Recurrent Neural Networks TACAS 2021
- Semantic Foundations for Deterministic Dataflow and Stream Processing ESOP 2020
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023