The application of deductive databases to inter-module code analysis.

Suzanne W. Dietrich Frank W. Calliss

Published in: ICSM (1991)

Keyphrases

deductive databases
integrity constraints
data analysis
query evaluation
machine learning
declarative language
high level
data model
knowledge representation
source code
data management
data integration
belief revision
fixpoint
disjunctive deductive databases