Parametric shape analysis via 3-valued logic. Sagiv, M., Reps, T., & Wilhelm, R. ACM Transactions on Programming Languages and Systems, 24(3):217-298, 2002. bibtex @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
}
Downloads: 0
{"_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"]}