First Page | Document Content | |
---|---|---|
Date: 2016-06-05 23:38:28Compiler 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 UtahAdd to Reading ListSource URL: spw16.langsec.orgDownload Document from Source WebsiteFile Size: 228,83 KBShare Document on Facebook |