Abstract Domains of Affine Relations. Elder, M., Lim, J., Sharma, T., Andersen, T., & Reps, T. W. ACM Trans. Program. Lang. Syst., 36(4):11:1-11:73, 2014.
Abstract Domains of Affine Relations. [link]Link  Abstract Domains of Affine Relations. [link]Paper  bibtex   
@article{journals/toplas/ElderLSAR14,
  added-at = {2024-08-08T00:00:00.000+0200},
  author = {Elder, Matt and Lim, Junghee and Sharma, Tushar and Andersen, Tycho and Reps, Thomas W.},
  biburl = {https://www.bibsonomy.org/bibtex/250928621b1a99d8d18d2e476aacdadfa/dblp},
  ee = {https://doi.org/10.1145/2651361},
  interhash = {3cde6cbc4b2a409dec18977b16f572ed},
  intrahash = {50928621b1a99d8d18d2e476aacdadfa},
  journal = {ACM Trans. Program. Lang. Syst.},
  keywords = {dblp},
  number = 4,
  pages = {11:1-11:73},
  timestamp = {2024-08-12T07:08:25.000+0200},
  title = {Abstract Domains of Affine Relations.},
  url = {http://dblp.uni-trier.de/db/journals/toplas/toplas36.html#ElderLSAR14},
  volume = 36,
  year = 2014
}

Downloads: 0