full record print

Certified CYK parsing of context-free languages

author
statement of authorship
Denis Firsov, Tarmo Uustalu
source
journal volume number month
Vol. 83, 5-6
year of publication
pages
p. 459-468
ISSN
2352-2208
notes
Bibliogr.: 13 ref
Special issue: The 24th Nordic Workshop on Programming Theory (NWPT 2012)
language
inglise
subject term
keyword
certified programs
parsing
Cocke-Younger-Kasami algorithm
dependently typed programming
Agda
Firsov, D., Uustalu, T. Certified CYK parsing of context-free languages // Journal of logical and algebraic methods in programming (2014) Vol. 83, 5-6, p. 459-468.