Software Open Access

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios

Mansur, Muhammad Numair; Mariano, Benjamin; Christakis, Maria; Navas, Jorge A; Wüstholz, Valentin


BibTeX Export

@software{mansur_muhammad_numair_2021_4719604,
  author       = {Mansur, Muhammad Numair and
                  Mariano, Benjamin and
                  Christakis, Maria and
                  Navas, Jorge A and
                  Wüstholz, Valentin},
  title        = {{Automatically Tailoring Abstract Interpretation to 
                   Custom Usage Scenarios}},
  month        = apr,
  year         = 2021,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.4719604},
  url          = {https://doi.org/10.5281/zenodo.4719604}
}
210
23
views
downloads
All versions This version
Views 210210
Downloads 2323
Data volume 204.7 GB204.7 GB
Unique views 196196
Unique downloads 2020

Share

Cite as