ActionScript Bytecode Verification With Co-Logic Programming

Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, and Meera Sridhar
In Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS), pp. 9—15, June 2009.
Publication year: 2009
External Link