Back to Results
First PageMeta Content
Compiler optimizations / Computing / Program analysis / Abstract interpretation / Data-flow analysis / Abstraction / Static single assignment form / Graph / Bytecode / Register allocation / Algorithm / Academia


A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah
Add to Reading List

Document Date: 2016-06-05 23:38:28

Open Document

File Size: 228,83 KB

Share Result on Facebook
UPDATE