[langsec-discuss] proven-correct parsers
diakopter at gmail.com
Thu Jun 2 00:57:38 UTC 2016
I hadn't seen this paper/repo referenced on this list or any of the
links from langsec.org, so I thought it might be helpful to point out.
I realize the answer to my question is generally agreed upon by the
On second thought, it occurs to me that perhaps you didn't see the
link I included (since you didn't quote it) to the parsing-parses
Github repo of JasonGross?
https://github.com/JasonGross/parsing-parses or the paper
On Wed, Jun 1, 2016 at 5:17 PM, Guilherme Salazar <gmesalazar at gmail.com> wrote:
> On Wed, Jun 1, 2016 at 2:39 PM, Matthew Wilson <diakopter at gmail.com> wrote:
>> Isn't the proper solution to faulty parsers to create provably correct ones?
> Is there any context or was it a rhetorical question?
Sent by an Internet
More information about the langsec-discuss