Login / Signup
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation.
Miguel Gómez-Zamalloa
Elvira Albert
Germán Puebla
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
partial evaluation
explanation based generalization
domain theory
logic programming
higher order
modal logic
java bytecode
knowledge base
domain knowledge
knowledge representation
programming language