Conference paper
Viewing Ada from a process model perspective
Rob Strom, Shaula Yemini, et al.
SIGAda 1985
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.
Rob Strom, Shaula Yemini, et al.
SIGAda 1985
Yoëlle S. Maarek, Daniel M. Berry, et al.
IEEE Transactions on Software Engineering
Robert E. Strom, Shaula Yemini
IEEE Transactions on Software Engineering
German S. Goldszmidt, Shaula Yemini, et al.
ACM Transactions on Computer Systems (TOCS)