Shared resources are a feature of many concurrent distributed systems. Access to these resources often involves using data of different types at each access. We consider the use of static analysis to guarantee type safety in such such systems and provide a view of generalised resource usage which subsumes that of session typing systems.
|Publication status||Published - 2011|
|Event||Programming Language Approaches to Concurrency and Communication-cEntric Software - Saarbrücken, Germany|
Duration: 2 Apr 2011 → 2 Apr 2011
|Workshop||Programming Language Approaches to Concurrency and Communication-cEntric Software|
|Period||2/04/11 → 2/04/11|