Description:
Described is a system for detecting automatically at compile time certain errors that are normally not detected until run time, and sometimes not even then. For example, array bounds errors, NIL dereferences, and race conditions and deadlocks in multi-threaded programs. The system has been implemented both for Modula-3 and for Java.
Speaker(s):
Greg Nelson, Compaq Systems Research Center
|
