24 search results - page 2 / 5 » esop 2008 |
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
ESOP
2008
Springer
14 years 11 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
14 years 11 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
14 years 11 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...