An abstract interpretation framework for termination
Work
Year: 2012
Type: article
Authors Patrick Cousot, Radhia Cousot
Institutions Centre National de la Recherche Scientifique, Institut national de recherche en informatique et en automatique
Cites: 39
Cited by: 39
Related to: 10
FWCI: 5.187
Citation percentile (by year/subfield): 96.93
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed