Re: Program Generation and Verification

sivanr@gmail.com
3 Feb 2005 22:46:32 -0500

          From comp.compilers

Related articles
Program Generation and Verification codefixer@gmail.com (2005-01-30)
Re: Program Generation and Verification sivanr@gmail.com (2005-02-03)
| List of all articles for this month |

From: sivanr@gmail.com
Newsgroups: comp.compilers
Date: 3 Feb 2005 22:46:32 -0500
Organization: http://groups.google.com
References: 05-01-109
Keywords: parse, testing

Hello,
I found that for simple random generated code, the following tool can
be used:
http://cs.ecs.baylor.edu/~maurer/
It's called DGL (Data Generation Language). You write a grammar for the
language you want to generate, and it generates random words in this
language.
Hope that's what you are looking for.
Sivan.



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.