Login / Signup

Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation.

Miguel Gómez-ZamalloaElvira AlbertGermá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