347 search results - page 5 / 70 » A practical type system and language for reference immutabil... |
CC
2003
Springer
14 years 1 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
ENTCS
2006
13 years 8 months ago
2006
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other substructural type systems, the additive ...
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...