Exquislay myaw? Perfect verification is impossible in the sense of
detecting those programs, *and* *only* *those* *programs*, which violate
security. If you're willing to stop some innocent programs, complete
verification is easy. And since no Java compiler that I know of
produces secure but (currently) unverifiable code, there's no problem.
--
sentience@pobox.com Eliezer S. Yudkowsky
http://tezcat.com/~eliezer/singularity.html
http://tezcat.com/~eliezer/algernon.html
Disclaimer: Unless otherwise specified, I'm not telling you
everything I think I know.