Export: An efficient, parametric fixpoint algorithm for incremental analysis of java bytecode
Méndez-Lojo, Mario and Navas, J. and Hermenegildo, Manuel V. (2006). An efficient, parametric fixpoint algorithm for incremental analysis of java bytecode. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.
Please select an output format: