[antlr-interest] C TO PROMELA TRANSLATOR
researcher0x00 at gmail.com
Thu Apr 19 06:20:37 PDT 2012
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
> 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
More information about the antlr-interest