Type Abstraction for Relaxed Noninterference.

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, ric Tanter

Browse the full ECOOP paper archive.