On 9/27/05, QuantumG <[EMAIL PROTECTED]> wrote: > > Speaking of static analysis. I managed to get an evaluation version of > this software: > > http://www.eschertech.com/products/ > > It works by changing the level of representation at which you write > software. Instead of writing imperative programs you write declarative > specifications. The problem is it's:
Sounds like Prolog on steroids... -- SLUG - Sydney Linux User's Group Mailing List - http://slug.org.au/ Subscription info and FAQs: http://slug.org.au/faq/mailinglists.html
