Towards a generic framework for the abstract interpretation of Java
The application field for static analysis of Java programs is getting broader, ranging from compiler optimizations (like dynamic dispatch elimination) to security issues. Many of those analyses include type analyses. We propose a `generic' framework, which improves on previous type analyses by...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
Universite catholique de Louvain
2004
|
| Subjects: | |
| Online Access: | http://edoc.bib.ucl.ac.be:81/ETD-db/collection/available/BelnUcetd-04222004-161221/ |