Firsov, D., Uustalu, T. - TalTech teadusportaal

täiskirje 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

ISSN

2352-2208

märkused

Bibliogr.: 13 ref

Special issue: The 24th Nordic Workshop on Programming Theory (NWPT 2012)

keel

inglise

Märksõnad ja võtmesõnad

märksõna

programmeerimine

algoritmid

programmeerimiskeeled

võtmesõna

certified programs

parsing

Cocke-Younger-Kasami algorithm

dependently typed programming

Agda

TalTechi üksused

TTÜ struktuuriüksus

TTÜ Küberneetika Instituut

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.