Modular Decompilation of Low-Level Code by Partial Evaluation | Publicación