Cited in
(9)- Certified CYK parsing of context-free languages
- Pollack-inconsistency
- On the formalization of some results of context-free language theory
- Total parser combinators
- A mechanisation of some context-free language theory in HOL4
- GRATchk
- miTLS
- TRX: a formally verified parser interpreter
- Simple, functional, sound and complete parsing for all context-free grammars
This page was built for software: TRX
