Using abstract interpretation to add type checking for interfaces in Java bytecode verification
| Autor: | De Francesco, Nicoletta, Lettieri, Giuseppe, Martini, Luca |
|---|---|
| Zdroj: | In Theoretical Computer Science 2010 411(22):2174-2201 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect