Export: An efficient, parametric fixpoint algorithm for analysis of java bytecode
Méndez-Lojo, Mario and Navas, J. and Hermenegildo, Manuel V. (2007). An efficient, parametric fixpoint algorithm for analysis of java bytecode. In: "Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007)", 31 March 2007, Braga, Portugal.
Please select an output format:
