Generalizing the Paige–Tarjan algorithm by abstract interpretation
Francesco Ranzato, Francesco TapparoVolume:
206
Year:
2008
Language:
english
Pages:
32
DOI:
10.1016/j.ic.2008.01.001
File:
PDF, 876 KB
english, 2008