@Article{tvlaToplas,
  Author         = {Sagiv, M. and Reps, T. and Wilhelm, R.},
  Title          = {Parametric shape analysis via 3-valued logic},
  Journal        = {ACM Transactions on Programming Languages and Systems},
  Volume         = {24},
  Number         = {3},
  Pages          = {217-298},
  year           = 2002
}

{"_id":{"_str":"5342b73a0e946d920a003399"},"__v":6,"authorIDs":["54596b4ab43425b772000522"],"author_short":["Sagiv, M.","Reps, T.","Wilhelm, R."],"bibbaseid":"sagiv-reps-wilhelm-parametricshapeanalysisvia3valuedlogic-2002","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Sagiv"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Reps"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Wilhelm"],"firstnames":["R."],"suffixes":[]}],"title":"Parametric shape analysis via 3-valued logic","journal":"ACM Transactions on Programming Languages and Systems","volume":"24","number":"3","pages":"217-298","year":"2002","bibtex":"@Article{tvlaToplas,\n Author = {Sagiv, M. and Reps, T. and Wilhelm, R.},\n Title = {Parametric shape analysis via 3-valued logic},\n Journal = {ACM Transactions on Programming Languages and Systems},\n Volume = {24},\n Number = {3},\n Pages = {217-298},\n year = 2002\n}\n\n\n\n","author_short":["Sagiv, M.","Reps, T.","Wilhelm, R."],"key":"tvlaToplas","id":"tvlaToplas","bibbaseid":"sagiv-reps-wilhelm-parametricshapeanalysisvia3valuedlogic-2002","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"rbr.cs.umass.edu/gp/genplan.bib","downloads":0,"keywords":[],"search_terms":["parametric","shape","analysis","via","valued","logic","sagiv","reps","wilhelm"],"title":"Parametric shape analysis via 3-valued logic","year":2002,"dataSources":["ivTWmqfM6xcSHRfBa","BBkjciKCmRFKkzdZa"]}