Abstract
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.
Original language | English |
---|---|
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
Workshop | Programming Language Approaches to Concurrency and Communication-cEntric Software |
---|---|
Country/Territory | Germany |
City | Saarbrücken |
Period | 2/04/11 → 2/04/11 |