@InProceedings{TanASWVMCAI04,
  author       = "Gang Tan and Andrew Appel and Kedar Swadi
                  and Dinghao Wu",
  title	       = "Construction of a Semantic Model for a Typed
                  Assembly Language",
  booktitle    = {International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)},
  pages	       = "30--43",
  year	       = 2004,
  month	       = jan,
  url_Paper    = {http://www.cse.psu.edu/~gxt29/papers/stplus.pdf},
  url_Slides   = {http://www.cse.psu.edu/~gxt29/slides/vmcai04.pdf},
  keywords = {Formal Methods -> Program Verification}
}

{"_id":"DychE3PBp2xttCSDc","bibbaseid":"tan-appel-swadi-wu-constructionofasemanticmodelforatypedassemblylanguage-2004","downloads":0,"creationDate":"2018-06-29T13:38:27.126Z","title":"Construction of a Semantic Model for a Typed Assembly Language","author_short":["Tan, G.","Appel, A.","Swadi, K.","Wu, D."],"year":2004,"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":["Andrew"],"propositions":[],"lastnames":["Appel"],"suffixes":[]},{"firstnames":["Kedar"],"propositions":[],"lastnames":["Swadi"],"suffixes":[]},{"firstnames":["Dinghao"],"propositions":[],"lastnames":["Wu"],"suffixes":[]}],"title":"Construction of a Semantic Model for a Typed Assembly Language","booktitle":"International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)","pages":"30–43","year":"2004","month":"January","url_paper":"http://www.cse.psu.edu/~gxt29/papers/stplus.pdf","url_slides":"http://www.cse.psu.edu/~gxt29/slides/vmcai04.pdf","keywords":"Formal Methods -> Program Verification","bibtex":"@InProceedings{TanASWVMCAI04,\n author = \"Gang Tan and Andrew Appel and Kedar Swadi\n and Dinghao Wu\",\n title\t = \"Construction of a Semantic Model for a Typed\n Assembly Language\",\n booktitle = {International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)},\n pages\t = \"30--43\",\n year\t = 2004,\n month\t = jan,\n url_Paper = {http://www.cse.psu.edu/~gxt29/papers/stplus.pdf},\n url_Slides = {http://www.cse.psu.edu/~gxt29/slides/vmcai04.pdf},\n keywords = {Formal Methods -> Program Verification}\n}\n\n","author_short":["Tan, G.","Appel, A.","Swadi, K.","Wu, D."],"key":"TanASWVMCAI04","id":"TanASWVMCAI04","bibbaseid":"tan-appel-swadi-wu-constructionofasemanticmodelforatypedassemblylanguage-2004","role":"author","urls":{" paper":"http://www.cse.psu.edu/~gxt29/papers/stplus.pdf"," slides":"http://www.cse.psu.edu/~gxt29/slides/vmcai04.pdf"},"keyword":["Formal Methods -> Program Verification"],"metadata":{"authorlinks":{"tan, g":"https://www.cse.psu.edu/~gxt29/sos/publications.html"}},"downloads":0,"html":""},"search_terms":["construction","semantic","model","typed","assembly","language","tan","appel","swadi","wu"],"keywords":["formal methods -> program verification"],"authorIDs":["G4h3agvfzsvS65YBg"],"dataSources":["HGP9Lqns6p9cZGdvN","qbRxtdgQ5NSdrSiX3"]}