POPL
14 years 5 months ago
2001 ACM POPL
14 years 5 months ago
2001 ACM
traction
POPL
14 years 5 months ago
2001 ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
POPL
14 years 5 months ago
2001 ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
POPL
14 years 5 months ago
2001 ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
|