TRX: A Formally Verified Parser Interpreter
From MaRDI portal
Publication:3558235
DOI10.1007/978-3-642-11957-6_19zbMath1260.68194OpenAlexW1689185560MaRDI QIDQ3558235
Adam Koprowski, Henri Binsztok
Publication date: 4 May 2010
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_19
Related Items (7)
A mechanisation of some context-free language theory in HOL4 ⋮ Certified CYK parsing of context-free languages ⋮ A Verified LL(1) Parser Generator ⋮ Pollack-inconsistency ⋮ The computational power of parsing expression grammars ⋮ On the Formalization of Some Results of Context-Free Language Theory ⋮ Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars
Uses Software
This page was built for publication: TRX: A Formally Verified Parser Interpreter
