ActionScript bytecode verification with co-logic programming.

Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar

Browse the full PLDI paper archive.