@inproceedings{assert-pe-bytecode07,
author = {M.~G\'{o}mez-Zamalloa and E.~Albert and G.~Puebla},
booktitle = {ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07)},
butopics = {spec,anal},
month = {March},
note = {To appear},
paper_presentation_city = {Braga},
paper_presentation_country = {Portugal},
projects = {MOBIUS,MERIT,PROMESAS,POAIST},
publisher = {{E}lsevier - {N}orth {H}olland},
series = {Electronic Notes in Theoretical Computer Science},
title = {{I}mproving the {D}ecompilation of {J}ava {B}ytecode to {P}rolog by {P}artial {E}valuation},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2007}
}