[antlr-interest] C TO PROMELA TRANSLATOR

Eric researcher0x00 at gmail.com
Thu Apr 19 06:20:37 PDT 2012

Hi David,

In reviewing questions at SO I came across

When to use an abstract or concrete syntax
How to translate between programming

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


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

More information about the antlr-interest mailing list