Results 111 to 120 of about 146,311 (198)

Inflectional zero morphology - Linguistic myth or neurocognitive reality? [PDF]

open access: yesFront Psychol, 2022
Alekseeva M, Myachykov A, Shtyrov Y.
europepmc   +1 more source

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version) [PDF]

open access: yesarXiv
We present Dependent Lambek Calculus, a domain-specific dependent type theory for verified parsing and formal grammar theory. In $\textrm{Lambek}^D$, linear types are used as a syntax for formal grammars,and parsers can be written as linear terms. The linear typing restriction provides a form of intrinsic verification that a parser yields only valid ...
arxiv  

An empirical evaluation of Lex/Yacc and ANTLR parser generation tools. [PDF]

open access: yesPLoS One, 2022
Ortin F   +3 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy