Refining exceptions using King and Morgan's exit construct

In this paper we discuss the refinement of exceptions. We extend the Guarded Command Language normally used in the refinement calculus, with a simple exception handling statement, which we model using King and Morgan's exit statement (1995). We derive some variants of King and Morgan's refinement laws for their exit statement, and illustrate the approach with an example of a refinement of a simple program.

Robin Morgan, Susan Brownmiller, and Gloria Steinem at Women Against Pornography march

General note: Title and date provided by Bettye Lane.

Robin Morgan at Women Against Pornography Rally

General note: Title and date provided by Bettye Lane.

Robin Morgan

General note: Title and date provided by Bettye Lane.

Audience at Robin Morgan's reading at the Woman's Literary Salon

Inscriptions: Verso: [stamped] Photograph by Freda Leinwand. [463 West Street, Studio 229G, New York, NY 10014].

Robin Morgan reading "Lady of the Beasts" with Erika Duncan to her right

Inscription: Verso: The Woman's Salon, New York. Robin Morgan reading "Lady of the Beasts" (left). At right is writer Erika Duncan, one of the founders of the Women's Salon.