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