Login / Signup
A Precise Fixpoint Reaching Definition Analysis for Arrays.
Jean-Francois Collard
Martin Griebl
Published in:
LCPC (1999)
Keyphrases
</>
fixpoint
logic programs
database
deductive databases
databases
machine learning
data analysis
relational databases
data model
domain knowledge
pattern matching
finite state machines