> Your link is interesting though, will look into it. Looks much like the byte-code verifier that is std. part of the JVM. The foundations on which this is bu

> Your link is interesting though, will look into it. Looks much like the byte-code verifier that is std. part of the JVM. The foundations on which this is built look quite solid though.