• View
• Edit
• History
• Print

ValiantAgda

Work page for ongoing research around a generalisation of Valiant's algorithm,

Paper accepted for LMCS

Title

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

Authors

Jean-Philippe Bernardy, Patrik Jansson

Accepted 2015-12-22: http://arxiv.org/abs/1601.07724

Submitted 2014-07-03 to Logical Methods in Computer Science (a RoMEO Green journal). Resubmitted (after updates) 2015-09-21.

A full-text pre-print is available

Talk

(at the IFIP WG 2.1 meeting in Zeegse)

http://www.cse.chalmers.se/~patrikj/talks/IFIP2.1ZeegseJansson_ParParseAlgebra.org