191
click to vote
ESOP
16 years 1 months ago
2009 Springer 
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
166
click to vote
ESOP
16 years 1 months ago
2009 Springer 
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
147
Voted
ESOP
16 years 1 months ago
2009 Springer 
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
256
click to vote
ESOP
16 years 1 months ago
2009 Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
168
click to vote
ESOP
15 years 10 months ago
2009 Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
|
Programming Languages