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

[Ben Kloosterman]

bool is the same with the CLR ( via CIL/MISL). See
http://research.microsoft.com/en-us/um/people/akenn/sec/appsem-tcs.pdf


Regards, 

Ben 

>-----Original Message-----
>From: cap-talk-bounces at mail.eros-os.org [mailto:cap-talk-
>bounces at mail.eros-os.org] On Behalf Of David Wagner
>Sent: Monday, September 07, 2009 2:42 AM
>To: cap-talk at mail.eros-os.org
>Subject: Re: [cap-talk] Security and Full Abstraction (was: Cap OS
>question)
>
>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.
>_______________________________________________
>cap-talk mailing list
>cap-talk at mail.eros-os.org
>http://www.eros-os.org/mailman/listinfo/cap-talk