Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!mit-eddie!ll-xn!ames!ucbcad!ucbvax!ucdavis!iris!windley
From: windley@iris.ucdavis.edu (Phil Windley)
Newsgroups: comp.lang.smalltalk
Subject: fault tolerance in OOLs
Message-ID: <692@ucdavis.ucdavis.edu>
Date: Mon, 7-Dec-87 23:51:30 EST
Article-I.D.: ucdavis.692
Posted: Mon Dec  7 23:51:30 1987
Date-Received: Sun, 13-Dec-87 08:48:29 EST
Sender: uucp@ucdavis.ucdavis.edu
Reply-To: windley@iris.ucdavis.edu (Phil Windley)
Organization: U.C. Davis - College of Engineering
Lines: 8
Summary: looking for current research

I'm interested in exception handling/ fault tolerance/ program
verification in OOLs.  Could anyone point me in the right direction
with respect to current research in these areas?  Thanks.


Phil Windley
Robotics Research Lab
University of California, Davis