A Modal Language for the Safety of Mobile Values
Abstract elided by the publisher.
Related papers
- Anytime, Anywhere: Modal Logics for Mobile Ambients POPL 2000
- Race detection for event-driven mobile applications PLDI 2014
- The next-generation in-stadium experience (keynote) GPCE 2015
- A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety VMCAI 2006
- The accessibility toolkit Onward! 2011
- A type theory for memory allocation and data layout POPL 2003
- Call-by-Name and Call-by-Value in Normal Modal Logic APLAS 2007
- Modal Transition Systems: A Foundation for Three-Valued Program Analysis ESOP 2001