Resource Access with Variably Typed Return

Gabrielle Austen Anderson, Julian Rathke

Research output: Contribution to conferencePaper

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
CountryGermany
CitySaarbrücken
Period2/04/112/04/11

Fingerprint

Static analysis

Cite this

Anderson, G. A., & Rathke, J. (2011). Resource Access with Variably Typed Return. Paper presented at Programming Language Approaches to Concurrency and Communication-cEntric Software, Saarbrücken, Germany.

Resource Access with Variably Typed Return. / Anderson, Gabrielle Austen; Rathke, Julian.

2011. Paper presented at Programming Language Approaches to Concurrency and Communication-cEntric Software, Saarbrücken, Germany.

Research output: Contribution to conferencePaper

Anderson, GA & Rathke, J 2011, 'Resource Access with Variably Typed Return' Paper presented at Programming Language Approaches to Concurrency and Communication-cEntric Software, Saarbrücken, Germany, 2/04/11 - 2/04/11, .
Anderson GA, Rathke J. Resource Access with Variably Typed Return. 2011. Paper presented at Programming Language Approaches to Concurrency and Communication-cEntric Software, Saarbrücken, Germany.
Anderson, Gabrielle Austen ; Rathke, Julian. / Resource Access with Variably Typed Return. Paper presented at Programming Language Approaches to Concurrency and Communication-cEntric Software, Saarbrücken, Germany.
@conference{34b37cb733ae4d089ae2882ab26c4c0d,
title = "Resource Access with Variably Typed Return",
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.",
author = "Anderson, {Gabrielle Austen} and Julian Rathke",
year = "2011",
language = "English",
note = "Programming Language Approaches to Concurrency and Communication-cEntric Software ; Conference date: 02-04-2011 Through 02-04-2011",

}

TY - CONF

T1 - Resource Access with Variably Typed Return

AU - Anderson, Gabrielle Austen

AU - Rathke, Julian

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

M3 - Paper

ER -