31 search results - page 7 / 7 » Java Bytecode Dependence Analysis for Secure Information Flo... |
178
Voted
POPL
2004
ACM
15 years 9 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...