On top of that, we even have some that are formally verified or validating that ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		nickpsecurity on June 28, 2017 \| parent \| context \| favorite \| on: Writing Parsers Like it is 2017 [pdf] On top of that, we even have some that are formally verified or validating that could be tied into Rust. https://arxiv.org/pdf/1105.2576.pdf http://gallium.inria.fr/~xleroy/publi/validated-parser.pdf http://users.cecs.anu.edu.au/~aditi/esop09_submission_16.pdf One of those handled most of C99 standard.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact