@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
}

{"_id":"HwayfKZseyoABJy6G","bibbaseid":"elder-lim-sharma-andersen-reps-abstractdomainsofaffinerelations-2014","author_short":["Elder, M.","Lim, J.","Sharma, T.","Andersen, T.","Reps, T. W."],"bibdata":{"bibtype":"article","type":"article","added-at":"2024-08-08T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Elder"],"firstnames":["Matt"],"suffixes":[]},{"propositions":[],"lastnames":["Lim"],"firstnames":["Junghee"],"suffixes":[]},{"propositions":[],"lastnames":["Sharma"],"firstnames":["Tushar"],"suffixes":[]},{"propositions":[],"lastnames":["Andersen"],"firstnames":["Tycho"],"suffixes":[]},{"propositions":[],"lastnames":["Reps"],"firstnames":["Thomas","W."],"suffixes":[]}],"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","bibtex":"@article{journals/toplas/ElderLSAR14,\n added-at = {2024-08-08T00:00:00.000+0200},\n author = {Elder, Matt and Lim, Junghee and Sharma, Tushar and Andersen, Tycho and Reps, Thomas W.},\n biburl = {https://www.bibsonomy.org/bibtex/250928621b1a99d8d18d2e476aacdadfa/dblp},\n ee = {https://doi.org/10.1145/2651361},\n interhash = {3cde6cbc4b2a409dec18977b16f572ed},\n intrahash = {50928621b1a99d8d18d2e476aacdadfa},\n journal = {ACM Trans. Program. Lang. Syst.},\n keywords = {dblp},\n number = 4,\n pages = {11:1-11:73},\n timestamp = {2024-08-12T07:08:25.000+0200},\n title = {Abstract Domains of Affine Relations.},\n url = {http://dblp.uni-trier.de/db/journals/toplas/toplas36.html#ElderLSAR14},\n volume = 36,\n year = 2014\n}\n\n","author_short":["Elder, M.","Lim, J.","Sharma, T.","Andersen, T.","Reps, T. W."],"key":"journals/toplas/ElderLSAR14","id":"journals/toplas/ElderLSAR14","bibbaseid":"elder-lim-sharma-andersen-reps-abstractdomainsofaffinerelations-2014","role":"author","urls":{"Link":"https://doi.org/10.1145/2651361","Paper":"http://dblp.uni-trier.de/db/journals/toplas/toplas36.html#ElderLSAR14"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Thomas?items=1000","dataSources":["Wze2LBds9bM8uwxm8"],"keywords":["dblp"],"search_terms":["abstract","domains","affine","relations","elder","lim","sharma","andersen","reps"],"title":"Abstract Domains of Affine Relations.","year":2014}