[langsec-discuss] proven-correct parsers
Meredith L. Patterson
clonearmy at gmail.com
Thu Jun 2 01:00:03 UTC 2016
The overzealous gmail spam filter strikes again; that's where I found your
original posts, Matthew.
On Wed, Jun 1, 2016 at 5:57 PM, Matthew Wilson <diakopter at gmail.com> wrote:
> 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
> list participants...
> 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>
> > On Wed, Jun 1, 2016 at 2:39 PM, Matthew Wilson <diakopter at gmail.com>
> >> Isn't the proper solution to faulty parsers to create provably correct
> > Is there any context or was it a rhetorical question?
> Sent by an Internet
> langsec-discuss mailing list
> langsec-discuss at mail.langsec.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the langsec-discuss