3 search results - page 1 / 1 » A Modality for Safe Resource Sharing and Code Reentrancy |
ICTAC
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
TGC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...