24 search results - page 2 / 5 » esop 2008 |
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We...
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
We present a polynomial-time algorithm which at the extra cost of a factor O(k) (k the number of variables) generalizes inter-procedural copy constant propagation. Our algorithm in...