Safely creating correct subclasses without seeing superclass code.

Clyde Ruby Gary T. Leavens

Published in: OOPSLA (2000)

Keyphrases

source code
data sets
short list
real world
database systems
video sequences
static analysis
code generation