enter search term and/or author name
Mobile safe ambients
Francesca Levi, Davide Sangiorgi
Two forms of interferences are individuated in Cardelli and Gordon's Mobile Ambients (MA): plain interferences, which are similar to the interferences one finds in CCS and π-calculus; and grave interferences, which are more...
Pointer analysis for structured parallel programs
Radu Rugina, Martin C. Rinard
This paper presents a novel interprocedural, flow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers. The algorithm is designed to handle programs with structured...
Information flow inference for ML
François Pottier, Vincent Simonet
This paper presents a type-based information flow analysis for a call-by-value λ-calculus equipped with references, exceptions and let-polymorphism, which we refer to as ML. The type system is constraint-based and has decidable type inference....