@inproceedings{Tan09APLAS,
 author = "Gang Tan and Zhong Shao and Xinyu Feng and Hongxu Cai",
 title = "Weak Updates and Separation Logic",
 booktitle = {Asian Symposium on Programming Languages and Systems (APLAS)},
 pages={178--193},
 year = {2009},
 url_Paper = {https://doi.org/10.1007/978-3-642-10672-9_14},
 keywords = {Formal Methods -> Program Verification}
}

{"_id":"NJo9iLTMHp87LAnbK","bibbaseid":"tan-shao-feng-cai-weakupdatesandseparationlogic-2009","downloads":0,"creationDate":"2018-06-29T13:38:27.112Z","title":"Weak Updates and Separation Logic","author_short":["Tan, G.","Shao, Z.","Feng, X.","Cai, H."],"year":2009,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/gangtan/gtanbib/main/mypapers.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gang"],"propositions":[],"lastnames":["Tan"],"suffixes":[]},{"firstnames":["Zhong"],"propositions":[],"lastnames":["Shao"],"suffixes":[]},{"firstnames":["Xinyu"],"propositions":[],"lastnames":["Feng"],"suffixes":[]},{"firstnames":["Hongxu"],"propositions":[],"lastnames":["Cai"],"suffixes":[]}],"title":"Weak Updates and Separation Logic","booktitle":"Asian Symposium on Programming Languages and Systems (APLAS)","pages":"178–193","year":"2009","url_paper":"https://doi.org/10.1007/978-3-642-10672-9_14","keywords":"Formal Methods -> Program Verification","bibtex":"@inproceedings{Tan09APLAS,\n author = \"Gang Tan and Zhong Shao and Xinyu Feng and Hongxu Cai\",\n title = \"Weak Updates and Separation Logic\",\n booktitle = {Asian Symposium on Programming Languages and Systems (APLAS)},\n pages={178--193},\n year = {2009},\n url_Paper = {https://doi.org/10.1007/978-3-642-10672-9_14},\n keywords = {Formal Methods -> Program Verification}\n}\n\n","author_short":["Tan, G.","Shao, Z.","Feng, X.","Cai, H."],"key":"Tan09APLAS","id":"Tan09APLAS","bibbaseid":"tan-shao-feng-cai-weakupdatesandseparationlogic-2009","role":"author","urls":{" paper":"https://doi.org/10.1007/978-3-642-10672-9_14"},"keyword":["Formal Methods -> Program Verification"],"metadata":{"authorlinks":{"tan, g":"https://www.cse.psu.edu/~gxt29/sos/publications.html"}},"downloads":0},"search_terms":["weak","updates","separation","logic","tan","shao","feng","cai"],"keywords":["formal methods -> program verification"],"authorIDs":["G4h3agvfzsvS65YBg"],"dataSources":["HGP9Lqns6p9cZGdvN","qbRxtdgQ5NSdrSiX3"]}