Decomposing bytecode verification by abstract interpretation

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci. Decomposing bytecode verification by abstract interpretation. ACM Transactions on Programming Languages and Systems, 31(1), 2008. [doi]

No reviews for this publication, yet.