"An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode."

Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo (2007)

Details and statistics

DOI: 10.1016/J.ENTCS.2007.02.060

access: open

type: Conference or Workshop Paper

metadata version: 2023-01-31

a service of  Schloss Dagstuhl - Leibniz Center for Informatics