Abstract Interpretation of Active Rules and its Use in Termination Analysis

@inproceedings{Bailey1997AbstractIO,
  title={Abstract Interpretation of Active Rules and its Use in Termination Analysis},
  author={James Bailey and Lobel Crnogorac and Kotagiri Ramamohanarao and Harald S\ondergaard},
  booktitle={ICDT},
  year={1997}
}
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 19 extracted citations

A Database , specification and Theory Perspective ( Data-Aware , Analysis )

Akbar Sanchouli, Habib Piri, Hossein Haghshenas
2015
View 2 Excerpts

Similar Papers

Loading similar papers…