Conference Proceedings

Abstract interpretation of active rules and its use in termination analysis

J Bailey, L Crnogorac, K Ramamohanarao, H Sondergaard, F Afrati (ed.), P Kolaitis (ed.)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER-VERLAG BERLIN | Published : 1997