Jeffrey S. Havrilla

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Logic Programming

Knowledge Representation

Deductive Databases

Top Venues

Publications

Edward J. Schwartz, Cory F. Cohen, Michael Duggan, Jeffrey Gennari, Jeffrey S. Havrilla, Charles Hines
Using Logic Programming to Recover C++ Classes and Methods from Compiled Executables. CCS (2018)