Certified CYK parsing of context-free languages
In: Journal of Logical and Algebraic Methods in Programming, Jg. 83 (2014-09-01), S. 459-468
Online
unknown
Zugriff:
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.
Titel: |
Certified CYK parsing of context-free languages
|
---|---|
Autor/in / Beteiligte Person: | Firsov, Denis ; Uustalu, Tarmo |
Link: | |
Zeitschrift: | Journal of Logical and Algebraic Methods in Programming, Jg. 83 (2014-09-01), S. 459-468 |
Veröffentlichung: | Elsevier BV, 2014 |
Medientyp: | unknown |
ISSN: | 2352-2208 (print) |
DOI: | 10.1016/j.jlamp.2014.09.002 |
Schlagwort: |
|
Sonstiges: |
|