Book section Open Access

Precise Widening Operators for Proving Termination by Abstract Interpretation

Courant, Nathanaël; Urban, Caterina


BibTeX Export

@misc{courant_nathanael_2017_894778,
  author       = {Courant, Nathanaël and
                  Urban, Caterina},
  title        = {{Precise Widening Operators for Proving Termination 
                   by Abstract Interpretation}},
  month        = jan,
  year         = 2017,
  publisher    = {Zenodo},
  doi          = {10.1007/978-3-662-54577-5\_8},
  url          = {https://doi.org/10.1007/978-3-662-54577-5\_8}
}
22
95
views
downloads
Views 22
Downloads 95
Data volume 84.3 MB
Unique views 21
Unique downloads 94

Share

Cite as