[cap-talk] Security and Full Abstraction (was: Cap OS question)

[David Wagner]

Sandro Magi  wrote:
> From the Joe-E appendix, it certainly seems like the situation is dire
> for the JVM, as a great deal of information appears to be lost in the
> translation to bytecode. The CIL retains full type information, so I'm a
> little more optimistic here, though I admit the bool violation mentioned
> above was definitely surprising. Not sure how the CLR guys let that one
> through.

The bool violation example I showed is from Java, not CLR.
Sorry if I was unclear.

For examples from CLR, see Andrew Kennedy's work.