coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coq abstract syntax tree

From: Damien Andrew Tamburri <maelstrom_dat AT hotmail.com>
To: <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club] coq abstract syntax tree
Date: Fri, 28 Aug 2009 22:29:36 +0000
Importance: Normal
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

hi there coq club!

I am trying to formalize a simplified version of an abstract syntax tree data structure in COQ. is anyone aware if there's any module for COQ defining the representation of an actual program in a programming language? is there any representation of ASTs within Coq already developed that I can take a look at? does anyone pursue such a work already?

many thanks for your time!

Damien.

Stay on top of things, check email from other accounts! Check it out.

[Coq-Club] coq abstract syntax tree, Damien Andrew Tamburri