Home » forums » LtU Forum

ESC not just for Java any more

Dana N. Xu's ESC/Haskell:
I this paper, we describe an extended static checking tool for Haskell, named ESC/Haskell, that is based on symbolic computation and assisted by a few novel properties. One novelty is our use of Haskell as the specification language itself for pre/post conditions.
By Jim Apple at 2006-08-22 12:50 | LtU Forum | previous forum topic | next forum topic | other blogs | 11360 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Why not posted to the

Why not posted to the homepage?

By Ehud Lamm at Tue, 2006-08-22 13:00 | login or register to post comments

Why not homepage?

An oversight.

By Jim Apple at Tue, 2006-08-22 13:35 | login or register to post comments

I moved the item to the

I moved the item to the homepage.

By Ehud Lamm at Tue, 2006-08-22 13:48 | login or register to post comments

Cool!

Of course, ESC started out as ESC/Modula3 ;).

Great to see this tool getting attention. It deserves that, it's another small step towards a 'next generation' ESC (with support for Java 5 and removing the dependencies on the old, non-free code).

By raboof at Tue, 2006-08-22 18:10 | login or register to post comments

working on it...

Hey Arnout, nice to see you here.

Give us some time and we'll have something even greater than ESC/Java3. (ESC for Java 5 source and bytecode supporting multiple logics, verification condition generators, and provers. See my papers for details.)

By JosephKiniry at Mon, 2006-10-23 13:35 | login or register to post comments

Hello, Joe!

Long time no see. :-) Glad to hear things are proceeding with ESC/Java. That's great news for us in the trenches.

By Paul Snively at Mon, 2006-10-23 17:09 | login or register to post comments