prindi

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
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.