[antlr-interest] C TO PROMELA TRANSLATOR

[Eric]

Hi David,

In reviewing questions at SO I came across

When to use an abstract or concrete syntax
tree?<http://stackoverflow.com/questions/9456448/when-to-use-an-abstract-or-concrete-syntax-tree>
How to translate between programming
languages<http://stackoverflow.com/questions/3455456/how-to-translate-between-programming-languages>

Check out the answers by Ira Baxter, they should shed some light on your
endeavor.

Eric



On Wed, Apr 18, 2012 at 2:56 PM, David Blubaugh <davidblubaugh2000 at yahoo.com
> wrote:

> To All,
>
>
> I was wondering if anyone was interested in helping me to develop a c to
> Promela translator and maybe even a promela to c reverse translator ???
>
>
> Promela is the scripting language utilized within the spin model checker
> !!  This can be utilized to determine if a program has been verified !!!
>
> David Blubaugh
>
>
>
>
> List: http://www.antlr.org/mailman/listinfo/antlr-interest
> Unsubscribe:
> http://www.antlr.org/mailman/options/antlr-interest/your-email-address
>