An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
Saved in:
| Title: | An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. |
|---|---|
| Authors: | Barbuti, Roberto, De Francesco, Nicoletta, Tesei, Luca |
| Source: | Computer Journal; Jul2010, Vol. 53 Issue 6, p679-700, 22p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
