Obliviousness, modular reasoning, and the behavioral subtyping analogy (2003)

by C CLIFTON, G LEAVENS
Venue:In Software Engineering Properties of Languages for Aspect Technologies. SPLAT. Workshop at AOSD