Book section Open Access

Precise Widening Operators for Proving Termination by Abstract Interpretation

Courant, Nathanaël; Urban, Caterina

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
14
80
views
downloads
Views 14
Downloads 80
Data volume 71.0 MB
Unique views 14
Unique downloads 79
More info on how stats are collected.
Indexed in
Publication date:
January 1, 2017
DOI:
10.1007/978-3-662-54577-5_8
License (for files):
Other (Open)

Share

Cite as

Export