OW2 Consortium

Mail Archive Home | sat4j-dev List | April 2007 Index

Date Index -->

Thread Index -->

When Java helps solving Memory leaks in C :)

Subject: When Java helps solving Memory leaks in C :)
From: Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>
Date: Sun, 08 Apr 2007 10:17:51 +0200

Dear all,

I just found another use of SAT4J:
http://www.cs.cornell.edu/~rugina/papers/pldi07.pdf

   Daniel

When Java helps solving Memory leaks in C :), Daniel Le Berre

Date Index -->

Thread Index -->

Powered by MHonArc.

Copyright © 2006-2007, OW2 Consortium | contact | webmaster.