Login / Signup
Using Logic Programming to Recover C++ Classes and Methods from Compiled Executables.
Edward J. Schwartz
Cory F. Cohen
Michael Duggan
Jeffrey Gennari
Jeffrey S. Havrilla
Charles Hines
Published in:
CCS (2018)
Keyphrases
</>
logic programming
logic programs
deductive databases
answer set programming
high level
answer sets
database
machine learning
knowledge base
expert systems
knowledge representation
inductive logic programming
propositional logic
classical logic
constraint logic programming