@article{FPCC10TOPLAS,
author="Amal Ahmed and Andrew Appel and Chris Richards and Kedar Swadi and Gang Tan and Daniel Wang",
title="Semantic Foundations for Typed-Assembly Languages",
journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
volume=32, number=3, pages="1-67", month=mar, year=2010,
url_Paper = {http://www.cse.psu.edu/~gxt29/papers/sftal.pdf},
keywords = {Formal Methods -> Program Verification}
}

{"_id":"TaQagiREwGwvFG8PZ","bibbaseid":"ahmed-appel-richards-swadi-tan-wang-semanticfoundationsfortypedassemblylanguages-2010","downloads":0,"creationDate":"2018-06-29T13:38:27.110Z","title":"Semantic Foundations for Typed-Assembly Languages","author_short":["Ahmed, A.","Appel, A.","Richards, C.","Swadi, K.","Tan, G.","Wang, D."],"year":2010,"bibtype":"article","biburl":"https://raw.githubusercontent.com/gangtan/gtanbib/main/mypapers.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Amal"],"propositions":[],"lastnames":["Ahmed"],"suffixes":[]},{"firstnames":["Andrew"],"propositions":[],"lastnames":["Appel"],"suffixes":[]},{"firstnames":["Chris"],"propositions":[],"lastnames":["Richards"],"suffixes":[]},{"firstnames":["Kedar"],"propositions":[],"lastnames":["Swadi"],"suffixes":[]},{"firstnames":["Gang"],"propositions":[],"lastnames":["Tan"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Wang"],"suffixes":[]}],"title":"Semantic Foundations for Typed-Assembly Languages","journal":"ACM Transactions on Programming Languages and Systems (TOPLAS)","volume":"32","number":"3","pages":"1-67","month":"March","year":"2010","url_paper":"http://www.cse.psu.edu/~gxt29/papers/sftal.pdf","keywords":"Formal Methods -> Program Verification","bibtex":"@article{FPCC10TOPLAS,\nauthor=\"Amal Ahmed and Andrew Appel and Chris Richards and Kedar Swadi and Gang Tan and Daniel Wang\",\ntitle=\"Semantic Foundations for Typed-Assembly Languages\",\njournal={ACM Transactions on Programming Languages and Systems (TOPLAS)},\nvolume=32, number=3, pages=\"1-67\", month=mar, year=2010,\nurl_Paper = {http://www.cse.psu.edu/~gxt29/papers/sftal.pdf},\nkeywords = {Formal Methods -> Program Verification}\n}\n\n","author_short":["Ahmed, A.","Appel, A.","Richards, C.","Swadi, K.","Tan, G.","Wang, D."],"key":"FPCC10TOPLAS","id":"FPCC10TOPLAS","bibbaseid":"ahmed-appel-richards-swadi-tan-wang-semanticfoundationsfortypedassemblylanguages-2010","role":"author","urls":{" paper":"http://www.cse.psu.edu/~gxt29/papers/sftal.pdf"},"keyword":["Formal Methods -> Program Verification"],"metadata":{"authorlinks":{"tan, g":"https://www.cse.psu.edu/~gxt29/sos/publications.html"}},"downloads":0},"search_terms":["semantic","foundations","typed","assembly","languages","ahmed","appel","richards","swadi","tan","wang"],"keywords":["formal methods -> program verification"],"authorIDs":["33eSbRtgxiNAjdg3s","4Az7LCRS2XhSmGnXw","4MejR4tGCvGnLXMxA","4xLZsneFDtX5svySj","5E83owuXBER4m8vwD","5b36365385043d1000000089","5df0f68945b054df01000180","5df1d1c61070c8ef010000c6","5df3f0c1ccbb4fde0100017a","5df3f2f1ccbb4fde010001a0","5df8c36ee6b510df0100012f","5dwnWHEDKkF3rcbbJ","5e1235fbc196d3de01000093","5e137471f16095df01000179","5e13839aa212e1de01000045","5e14c39ae55ed8de01000132","5e1b3899749a45df0100005f","5e1babd561cb16df0100007d","5e1ecdf152ab76df01000181","5e1f5b5be8f5ddde01000014","5e22026c024c69df01000082","5e257c7bf58a5cde01000175","5e27c6af328b80de010000f2","5e2e1396cc9e90e401000001","5e2fa9f6a21e47de0100009f","5e311319714ff7de0100003a","5e347cb0fae8b9de010000c8","5e37b381e84c4cf2010000cf","5e3b228dba2e16df01000181","5e3c6d9267788ede010000f3","5e3e8b48666d79df010000c6","5e41b2e40b4861de01000133","5e48e407435326df01000013","5e496f05407e6cde01000002","5e49fdd4cc11a8df01000024","5e4cd0680cc7d3de010000c2","5e4f4a4d8a3535f301000066","5e518fa6f29c90df01000127","5e554bcfca58a8df01000230","5e5f791e5766d9df010000da","6F8xdXo4gnRHg4w3j","6PtJdofMEwwK3sQfL","9RxdbLH5wiZCpP8TA","9ycKyHq5Gwdx9ntpe","EEnEpRzWuzJj9Wp4L","F8TucGre4YFoX2Eq7","FGxpYL483AzNBorwN","FZMbgaiLEASisqyZh","G4h3agvfzsvS65YBg","J83mW7qfZLuHWTZqm","K9AruYyMv6gnH9sHq","KJd6X3QecbEt96ANE","MAWkcWqzKHdxYqAYJ","MGraGYRWJpWtCBB4G","NHrGyHvfXTGGMPT9K","PYS7mrRyW7nL8Msnr","Qv8byxeoyDvPaNYJM","REs7GbdZb4ywHARLc","SCArmkxLWhvmocH4m","Si6CehHLgaGPwDk5r","WGsGetXxbw6qSJSpt","YpAidyXGmGs7rjb8a","YvS3Rq9wKdWRo2q8q","Zs9haqjmrYThPhfZf","cWJ54Mg7mGxWqKyj5","dMBQe3WFoa4qFSf7u","e9A8dzi3zCvx6qgpv","eFJrq8D7icEaztYQE","f2Ebqaea8tDueCCCi","fMaD4kxD3smvof89v","fNuZdZk6w3FE5suRT","h5cGCFX9ovceCviL4","hezkSCASczSe2ronW","iMgcjK6fpe4Smtea4","m5GsCu39h8Jbr7fZH","n3PwRdbifqYpxhe2p","orQbNQKBGa6Mree5C","r9LyTmqCJy9ZNyWYC","s8bSWT9mForN9HEtG","t2evBbaXtXhqaHQ8o","torbbQFna9GNxQwEN","upk2gpYKcqMYxXeEq","vhXMAtY93C5nusYuJ","wE2azNyRPpRNbN2ux","xP59stWMxn7CsL4gH","xZHw4ahiASSfBGg3y","yNwPJ4mnavG62zE4C"],"dataSources":["qbRxtdgQ5NSdrSiX3"]}