6 search results - page 2 / 2 » Cloning-based context-sensitive pointer alias analysis using... |
SAS
2007
Springer
13 years 10 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...