POPL
2001
ACM
14 years 11 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
POPL
2001
ACM
14 years 11 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
POPL
2001
ACM
14 years 11 months ago
2001
ACM
POPL
2001
ACM
14 years 11 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
2001
ACM
14 years 11 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
POPL
2001
ACM
14 years 11 months ago
2001
ACM
POPL
2001
ACM
14 years 11 months ago
2001
ACM
POPL
2001
ACM
14 years 11 months ago
2001
ACM
