The following pages link to Validating LR(1) Parsers (Q2892741):
Displaying 7 items.
- Certified CYK parsing of context-free languages (Q465493) (← links)
- Practical optimization of LR(1) parsers (Q582925) (← links)
- Automatic generation and validation of instruction encoders and decoders (Q832306) (← links)
- A self-certifying compilation framework for WebAssembly (Q2234063) (← links)
- On the Formalization of Some Results of Context-Free Language Theory (Q2820703) (← links)
- A Verified LL(1) Parser Generator (Q5875434) (← links)
- Bidirectional grammars for machine-code decoding and encoding (Q5915877) (← links)