Decompilation of Java Bytecode to Prolog by Partial Evaluation (2009)

by Miguel Gómez-zamalloa , Elvira Albert , Germán Puebla