125
Voted
ESOP
15 years 7 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...
103
Voted
ESOP
15 years 7 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...
ESOP
15 years 7 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...
ESOP
15 years 7 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...
97
Voted
ESOP
15 years 4 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