Certified CYK parsing of context-free languages
autor
Firsov, Denis
Uustalu, Tarmo
vastutusandmed
Denis Firsov, Tarmo Uustalu
allikas
Journal of logical and algebraic methods in programming
ajakirja aastakäik number kuu
Vol. 83, 5-6
ilmumisaasta
2014
leheküljed
p. 459-468
märksõna
programmeerimine
algoritmid
programmeerimiskeeled
võtmesõna
certified programs
parsing
Cocke-Younger-Kasami algorithm
dependently typed programming
Agda
ISSN
2352-2208
märkused
Bibliogr.: 13 ref
Special issue: The 24th Nordic Workshop on Programming Theory (NWPT 2012)
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise