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

[Sandro Magi]

I was actually referring to a bool abstraction failure mentioned in
Kennedy's paper on the CLR, not your example. Sorry I was unclear!

Sandro

David Wagner wrote:
> 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.