TRX

MaRDI QIDQ20800swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-11957-6_19

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