[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.