ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 25 Issue 1, January 2003

Mobile safe ambients
Francesca Levi, Davide Sangiorgi
Pages: 1-69
DOI: 10.1145/596980.596981
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
Pages: 70-116
DOI: 10.1145/596980.596982
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
Pages: 117-158
DOI: 10.1145/596980.596983
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....