Conference paper
Interactive blackbox debugging for concurrent languages
German S. Goldszmidt, Shmuel Katz, et al.
WPADD 1988
An axiomatic semantic definition is given of the replacement model of exception handling in an expression-oriented language. These semantics require only two new proof rules for the most general case. An example is given of a program fragment using this model of exception handling, and these rules are used to verify the consistency of the fragment and its specification. © 1987, ACM. All rights reserved.
German S. Goldszmidt, Shmuel Katz, et al.
WPADD 1988
Shaula Yemini, Daniel M. Berry
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rob Strom, Shaula Yemini
ACM Transactions on Computer Systems (TOCS)
Rob Strom, Shaula Yemini
ACM SIGPLAN Notices