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