Clyde Ruby
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2000–2000
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | OOPSLA | JML (poster session): notations and tools supporting detailed design in Java. | Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs |
| 2000 | OOPSLA | Safely creating correct subclasses without seeing superclass code. | Clyde Ruby |
| 2000 | OOPSLA | Safely creating correct subclasses without seeing superclass code. | Clyde Ruby, Gary T. Leavens |