Separation and information hiding.

Peter W. O'Hearn, Hongseok Yang, John C. Reynolds

Browse the full POPL paper archive.