[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: checking the gc correctness

From: Dave Love
Subject: Re: checking the gc correctness
Date: 20 Mar 2001 00:07:57 +0000
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.100

>>>>> "DN" == Dan Nicolaescu <address@hidden> writes:

 DN> Hi!
 DN> A research group at Stanford has developed a tool for formally
 DN> checking different properties of a program. 

It sounds a bit like a West Coast alternative to Larch, but maybe a
bit easier to use for this job.  We did wonder if (something like)
Larch could do the gcpro-checking job, but that became less important
with conservative stack scanning in place.  Thanks for the interesting
pointer, at least.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]