Software and Information Systems
Research (Coming Soon)
Copyright text here
ActionScript Bytecode Verification With Co-Logic Programming
Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, and Meera Sridhar
Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
(PLAS), pp. 9—15, June 2009.
Publication year: 2009