141
Voted
ESOP
15 years 9 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...
119
Voted
ESOP
15 years 9 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...
98
Voted
ESOP
15 years 9 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...
107
Voted
ESOP
15 years 9 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...
118
Voted
ESOP
15 years 6 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