coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Improvements to my example arithmetic expression parser

From: Daniel Schepler <dschepler AT gmail.com>
To: David MENTRE <dmentre AT linux-france.org>
Cc: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Improvements to my example arithmetic expression parser
Date: Wed, 5 Sep 2012 11:08:00 -0700

On Wed, Sep 5, 2012 at 12:34 AM, David MENTRE
<dmentre AT linux-france.org>
wrote:
> Out of curiosity, how your work is different from the following one?
>
> Jacques-Henri Jourdan, François Pottier, and Xavier Leroy.
> Validating LR(1) parsers. In Proceedings of the 21st European
> Symposium on Programming (ESOP 2012), volume 7211 of Lecture Notes in
> Computer Science, pages 397-416. Springer, March 2012.
>
> http://gallium.inria.fr/~fpottier/publis/jourdan-leroy-pottier-validating-parsers.pdf

In fact, Thomas Braibant already pointed me to this paper in a private
email. The difference is that mine is a hand-written recursive
descent parser, and more of a toy example.
--
Daniel Schepler

Re: [Coq-Club] Improvements to my example arithmetic expression parser, David MENTRE, 09/05/2012
- Re: [Coq-Club] Improvements to my example arithmetic expression parser, Daniel Schepler, 09/05/2012
  - Re: [Coq-Club] Improvements to my example arithmetic expression parser, Daniel Schepler, 09/07/2012
    - Re: [Coq-Club] Improvements to my example arithmetic expression parser, Ryan Wisnesky, 09/07/2012