An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.

Saved in:

Bibliographic Details
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

Description
ISSN:	00104620