Resource Access with Variably Typed Return

Gabrielle Austen Anderson, Julian Rathke

Research output: Contribution to conferenceUnpublished paperpeer-review

5 Downloads (Pure)

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 languageEnglish
Publication statusPublished - 2011
EventProgramming Language Approaches to Concurrency and Communication-cEntric Software - Saarbrücken, Germany
Duration: 2 Apr 20112 Apr 2011

Workshop

WorkshopProgramming Language Approaches to Concurrency and Communication-cEntric Software
Country/TerritoryGermany
CitySaarbrücken
Period2/04/112/04/11

Fingerprint

Dive into the research topics of 'Resource Access with Variably Typed Return'. Together they form a unique fingerprint.

Cite this