Declassification: Transforming Java Programs to Remove Intermediate Classes.

Bernadette Power, Geoff W. Hamilton

Browse the full SCAM paper archive.