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

by Miguel Gómez-zamalloa , Elvira Albert , Germán Puebla
Citations:9 - 6 self

Active Bibliography

Eighth IEEE International Working Conference on Source Code Analysis and Manipulation Modular Decompilation of Low-Level Code by Partial Evaluation ∗ – Miguel Gómez-zamalloa, Elvira Albert, Germán Puebla
36 Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments – Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen - 1999
2 Modular Decompilation of Low-Level Code by Partial Evaluation – Miguel Gómez-zamalloa, Elvira Albert, Germán Puebla
7 Program Generation, Termination, and Binding-time Analysis – Neil D. Jones, Arne J. Glenstrup - 2002
16 Efficient Local Unfolding with Ancestor Stacks for Full Prolog – Germán Puebla, Elvira Albert, Manuel Hermenegildo - 2005
4 Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation – Elvira Albert, John Gallagher, Germán Puebla
4 Poly-Controlled Partial Evaluation in Practice – Claudio Ochoa - 2007
25 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002
7 Abstract Interpretation with Specialized Definitions – Germán Puebla, Elvira Albert, Manuel Hermenegildo - 2006
2 A Generic Framework for the Analysis and Specialization of Logic Programs – Germán Puebla, Elvira Albert, Manuel Hermenegildo - 2005
8 Abstract conjunctive partial deduction using regular types and its application to model checking – Michael Leuschel, Stefan Gruner - 2001
38 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
Type-based Homeomorphic Embedding for Online Termination – Elvira Albert, John Gallagher
13 Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates – Elvira Albert, Germán Puebla, John Gallagher - 2006
4 Test Data Generation of Bytecode by clp Partial Evaluation – Elvira Albert, Germán Puebla
Software – Claudio Ochoa, Germán Puebla - 2008
1 Efficient and flexible access control via jones optimality logic program specialisation – Steve Barker, Michael Leuschel, Mauricio Varea - 2006
5 Specialising interpreters using offline partial deduction – Michael Leuschel, Stephen J. Craig, Maurice Bruynooghe, Wim Vanhoof - 2004