Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation

Francesco Ranzato Francesco Tapparo

Published in: CoRR (2006)

Keyphrases

matching algorithm
databases
information systems
query language
management system
object oriented