Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
POPL 1982
Since the introduction of Smalltalk, the object-oriented paradigm has become a popular technique for the organization of data and programs. In this paradigm, objects (collections of data and programs) are organized in a class hierarchy. These classes collect similar objects and serve as a repository for methods (programs) shared by those objects. We present a new simple model of objects that allows multi-dimensional inheritance. Objects, in our model, behave like communicating processes in Hoare�s CSP language, but with a different message-passing mechanism. This leads to a simple formal semantics for objects and inheritance. © 1986, ACM. All rights reserved.
Brent Hailpern, Susan Owicki
POPL 1982
Peri Tarr, Clay Williams, et al.
ICSE 2007
Mark R. Laff, Brent Hailpern
ACM SIGPLAN Notices
Brent Hailpern, Peri Tarr
IBM Systems Journal