Magic-Sets for Localised Analysis of Java Bytecode

Higher-Order and Symbolic Computation
doi 10.1007/s10990-010-9063-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC