TRX

swMATH8800MaRDI QIDQ20800FDOQ20800

Author name not available (Why is that?)

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

Cited In (9)

• 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
• GRATchk
• miTLS
• Pollack-inconsistency
• Total parser combinators
• A mechanisation of some context-free language theory in HOL4

This page was built for software: TRX