run-time type checking

From: Zhendong Su (zhendong@EECS.Berkeley.EDU)
Date: 10/03/00


Date: Tue, 3 Oct 2000 17:48:47 -0700 (PDT)
From: Zhendong Su <zhendong@EECS.Berkeley.EDU>
Subject: run-time type checking
Message-ID: <Pine.LNX.4.10.10010031739560.20632-100000@otter.cs.berkeley.edu>

For those we might be interested, here is a link to the paper describing
a Purify-like tool for C that I mentioned 
http://www.cs.wisc.edu/wpis/abstracts/dvrttc_submission.abs.html

Zhendong



This archive was generated by hypermail 2b30 : 11/04/02 PST