Author:
Stoyle Gareth,Hicks Michael,Bierman Gavin,Sewell Peter,Neamtiu Iulian
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Delegation;ACM SIGSOFT Software Engineering Notes;2009-05-30
2. Sharing classes between families;ACM SIGPLAN Notices;2009-05-28
3. A Hybrid Model in Dynamic Software Updating for C;Advances in Software Engineering;2009
4. Local reasoning about a copying garbage collector;ACM Transactions on Programming Languages and Systems;2008-07
5. A Method of Safety Analysis for Runtime Code Update;Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues;2007