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

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

Documents Related by Co-Citation

638 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
27 ATGen: Automatic Test Data Generation using Constraint Logic Programming and Symbolic Execution – C Meudec
15 A Symbolic Java Virtual Machine for Test Case Generation – R A Müller, C Lembeck, H Kuchen - 2004
173 Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler – Yoshihiko Futamura - 1999
7 Specialising interpreters using offline partial deduction – Michael Leuschel, Stephen J. Craig, Maurice Bruynooghe, Wim Vanhoof - 2004
1852 Foundations of Logic Programming – J W Lloyd - 1987
6 Towards a Framework for Constraint-Based Test Case Generation – T Schrijvers, F Degrave, W Vanhoof - 2010
43 A CLP Framework for Computing Structural Test Data – Arnaud Gotlieb, Bernard Botella, Michel Rueher - 2000
474 Symbolic execution and program testing – James C King - 1976
7 Test Data Generation of Bytecode by clp Partial Evaluation – Elvira Albert, Germán Puebla
41 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
4 PET: A Partial Evaluationbased Test Case Generation Tool for Java Bytecode – Elvira Albert, Miguel Gómez-zamalloa, Germán Puebla
9 Abstract Interpretation of PIC Programs through Logic Programming – Kim S. Henriksen - 2006
13 Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates – Elvira Albert, Germán Puebla, John Gallagher - 2006
19 A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs – Mario Méndez-lojo, Jorge Navas, Manuel V. Hermenegildo - 2007
239 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
145 A System For Specialising Logic Programs – J. P. Gallagher - 1991
50 The ecce partial deduction system and the dppd library of benchmarks. Available via http://www.cs.kuleuven.ac.be/~lpai – M Leuschel
13 Using Regular Approximations for Generalisation During Partial Evaluation – John P. Gallagher, et al. - 2000