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