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
Posted-Date: 03 Feb 2005 22:46:32 EST

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.