Publications

21 results for Brent Hailpern

Extending Objects to Support Multiple Interfaces and Access Control
- - Brent Hailpern
  - Harold Ossher
- 1990
- IEEE Transactions on Software Engineering
Comparing Two Functional Programming Systems
- - Brent Hailpern
  - Tien Huynh
  - et al.
- 1989
- IEEE Transactions on Software Engineering
A generalized object model
- - Van Nguyen
  - Brent Hailpern
- 1986
- ACM SIGPLAN Notices
A generalized object model
- - Van Nguyen
  - Brent Hailpern
- 1986
- OOPWORK 1986
Script: A communication abstraction mechanism and its verification
- - Nissim Francez
  - Brent Hailpern
  - et al.
- 1986
- Science of Computer Programming
SW 2 - An Object-based Programming Environment
- - Mark R. Laff
  - Brent Hailpern
- 1985
- ACM SIGPLAN Notices
SIMPLE PROTOCOL WHOSE PROOF ISN'T.
- - Brent Hailpern
- 1985
- IEEE Transactions on Communications
ALAN: A (CIRCUIT-SWITCHED) LOCAL AREA NETWORK.
- - Brent Hailpern
  - Andrew Heller
  - et al.
- 1985
- IEEE J-SAC
SCRIPT: A COMMUNICATION ABSTRACTION MECHANISM.
- - Nissim Francez
  - Brent Hailpern
- 1982
- PODC 1982
Modular Verification of Computer Communication Protocols
- - Brent T. Hailpern
  - Susan S. Owicki
- 1983
- IEEE Transactions on Communications