8021 search results - page 3 / 1605 » A Type System for Tom |
JDI
2007
13 years 7 months ago
2007
CSFW
2003
IEEE
14 years 27 days ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
TGC
2007
Springer
14 years 1 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...