A Generic Abstract Interpretation Algorithm and its Complexity Analysis.

Baudouin Le Charlier Kaninda Musumbu Pascal Van Hentenryck

Published in: ICLP (1991)

Keyphrases

complexity analysis
theoretical analysis
computational complexity
matching algorithm
artificial intelligence
relational databases
pattern matching
integrity constraints