Certified CYK parsing of context-free languages

Denis Firsov, Tarmo Uustalu

Rannsóknarafurð: Framlag til fræðitímaritsGreinritrýni

13 Tilvitnanir (Scopus)

Útdráttur

Abstract We report a work on certified parsing for context-free grammars. In our development we implement the Cocke-Younger-Kasami parsing algorithm and prove it correct using the Agda dependently typed programming language.

Upprunalegt tungumálEnska
Númer greinar22
Síður (frá-til)459-468
Síðufjöldi10
FræðitímaritJournal of Logical and Algebraic Methods in Programming
Bindi83
Númer tölublaðs5-6
DOI
ÚtgáfustaðaÚtgefið - 8 ágú. 2014

Athugasemd

Publisher Copyright:
© 2014 Elsevier Inc.

Fingerprint

Sökktu þér í rannsóknarefni „Certified CYK parsing of context-free languages“. Saman myndar þetta einstakt fingrafar.

Vitna í þetta