Banatre, J.-P.J.-P.BanatreBryce, C.C.BryceMetayer, D. leD. leMetayer2022-03-092022-03-091994https://publica.fraunhofer.de/handle/publica/323724en005006629400Compiler-time detection of information flow in sequential programsconference paper