Defining Context-Dependent Syntax Without Using Contexts
Abstract
A method for defining context-dependent syntax is presented.The method, like many others,
Related papers
- The Linguistic Theory behind Blockly Languages SLE 2024
- Equivalence of system f and ź2 in Coq based on context morphism lemmas CPP 2017
- Context-oriented software transactional memory in common lisp DLS 2009
- Block-based syntax from context-free grammars SLE 2020
- A symbol-based extension of parsing expression grammars and context-sensitive packrat parsing SLE 2017
- Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI 2025
- Context-Dependent Effects in Guarded Interaction Trees ESOP 2025
- Iguana: a practical data-dependent parsing framework CC 2016