Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

DOI10.2168/LMCS-12(2:6)2016zbMath1355.68149arXiv1601.07724OpenAlexW3105871910MaRDI QIDQ5739890

Jean-Philippe Bernardy, Patrik Jansson

Publication date: 6 July 2016

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.07724

zbMATH Keywords

correctnesscontext-free languagesfunctional programminglambda calculusAgdacontext-free parsingValiant's algorithm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Uses Software

• Agda

This page was built for publication: Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda