SCRIPT: A COMMUNICATION ABSTRACTION MECHANISM.
- Nissim Francez
- Brent Hailpern
- 2008
- EuroSys 2008
Publications
Date
Featured collections
Popular topics
21 results for Brent Hailpern
Model-driven development: The good, the bad, and the ugly
- Brent Hailpern
- Peri Tarr
- 2006
- IBM Systems Journal
Software debugging, testing, and verification
- Brent Hailpern
- Padmanabhan Santhanam
- 2002
- IBM Systems Journal
NetVista: Growing an internet solution for schools
- W.A. Kellogg
- J.T. Richards
- et al.
- 1998
- IBM Systems Journal
Comparing two functional programming systems
- Brent Hailpern
- Tien Huynh
- et al.
- 1992
- IEEE Transactions on Software Engineering
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
Script: A communication abstraction mechanism and its verification
- Nissim Francez
- Brent Hailpern
- et al.
- 1986
- Science of Computer Programming
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