Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.7.0.10 $; site ada-uts
Path: utzoo!watmath!clyde!burl!ulysses!bellcore!decvax!ima!inmet!ada-uts!richw
From: richw@ada-uts
Newsgroups: net.lang
Subject: Re: Escape structures (retitled)
Message-ID: <15100025@ada-uts>
Date: Fri, 18-Apr-86 07:10:00 EDT
Article-I.D.: ada-uts.15100025
Posted: Fri Apr 18 07:10:00 1986
Date-Received: Sat, 3-May-86 17:42:28 EDT
References: <270@svax.cs.cornell.edu>
Lines: 20
Nf-ID: #R:svax.cs.cornell.edu:270:ada-uts:15100025:000:639
Nf-From: ada-uts!richw    Apr 18 09:10:00 1986


Another VERY good paper on the subject of exception handling:

    "A Modular Verifiable Exception-Handling Mechanism"
            by Shaula Yemini and Daniel M. Berry

in ACM's TOPLAS (Transactions on Programming Languages and Systems),
April 1985, Vol. 7., No. 2.

This paper includes a very intelligent comparison of the
exception handling mechanisms of several languages (most
notably, CLU and Ada).

Rich Wagner


P.S.  That TOPLAS issue also happens to include an article
      by William Weihl and Barbara Liskov (Prof. Liskov
      was the primary designer of CLU) entitled
      "Implementation of Resilient, Atomic Data Types".