TRX

swMATH8800MaRDI QIDQ20800FDOQ20800

Author name not available (Why is that?)

Cited In (7)

• TRX: a formally verified parser interpreter
• Simple, functional, sound and complete parsing for all context-free grammars
• On the formalization of some results of context-free language theory
• Certified CYK parsing of context-free languages
• Pollack-inconsistency
• Total parser combinators
• A mechanisation of some context-free language theory in HOL4

This page was built for software: TRX