Decompilation of Java bytecode to Prolog by partial evaluation.
Miguel Gómez-ZamalloaElvira AlbertGermán PueblaPublished in: Inf. Softw. Technol. (2009)
Keyphrases
- partial evaluation
- explanation based generalization
- java bytecode
- programming language
- logic programming
- domain theory
- virtual machine
- garbage collection
- higher order
- efficient execution
- java virtual machine
- modal logic
- expert systems
- general purpose
- memory management
- intermediate representation
- inductive learning
- database systems
- artificial intelligence
- database
- supervised learning
- knowledge base
- learning algorithm
- databases