A Generic Reification Technique for Object-Oriented Reflective Languages Rémi DouenceMario Südholt OriginalPaper Pages: 7 - 34
A Per Model of Secure Information Flow in Sequential Programs Andrei SabelfeldDavid Sands OriginalPaper Pages: 59 - 91