Article ID Journal Published Year Pages File Type
9655916 Electronic Notes in Theoretical Computer Science 2005 14 Pages PDF
Abstract
The paper contains an overview of the work. We describe parts of the standard and abstract semantics; then, we briefly explain the fixpoint algorithms used by our implementation; lastly, we provide experimental results for small programs.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation
Authors
, ,