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

by Miguel Gómez-zamalloa , Elvira Albert , Germán Puebla
Citations:12 - 7 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
41 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
6 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
5 Poly-Controlled Partial Evaluation in Practice – Claudio Ochoa - 2007
28 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002
2 A Generic Framework for the Analysis and Specialization of Logic Programs – Germán Puebla, Elvira Albert, Manuel Hermenegildo - 2005
8 Abstract Interpretation with Specialized Definitions – Germán Puebla, Elvira Albert, Manuel Hermenegildo - 2006
8 Abstract conjunctive partial deduction using regular types and its application to model checking – Michael Leuschel, Stefan Gruner - 2001
41 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
7 Test Data Generation of Bytecode by clp Partial Evaluation – Elvira Albert, Germán Puebla
Software – Claudio Ochoa, Germán Puebla - 2008
2 VERIFYING INFINITE STATE SYSTEMS BY SPECIALIZING CONSTRAINT LOGIC PROGRAMS – F. Fioravanti, A. Pettorossi, M. Proietti
1 Efficient and flexible access control via jones optimality logic program specialisation – Steve Barker, Michael Leuschel, Mauricio Varea - 2006