Fw: Runtime Safety of Programs

[David McClain]

 I have a question regarding the creation of runtime safe programs...  I
have
 a great deal of experience with Lisp, OCaml, and SML, and I am just now
 learning Clean. All of the aforementioned languages have the concept of
 exceptions and exception trapping. Clean has the ability to "abort" but I
 find no mention of exception trapping. How is this done in Clean, or am I
 asking the wrong question here? Perhaps with graph rewriting it is
 unnecessary? Any thoughts on this topic would be appreciated.

 David McClain,
 Sr Scientist
 Raytheon Systems Co.
 Tucson, AZ