Login / Signup
Demand Interprocedural Program Analysis Using Logic Databases.
Thomas W. Reps
Published in:
Workshop on Programming with Logic Databases (Book), ILPS (1993)
Keyphrases
</>
databases
closed world assumptions
database
relational databases
database systems
logic programming
data model
data management
database applications
digital circuits
proof theory
information retrieval
data sources
knowledge discovery
data integration
predicate logic