dc.contributor.author | HENNESSY, MATTHEW | en |
dc.contributor.editor | M. Florido and I. Mackie | en |
dc.date.accessioned | 2011-03-07T14:18:42Z | |
dc.date.available | 2011-03-07T14:18:42Z | |
dc.date.created | September 2009 | en |
dc.date.issued | 2010 | en |
dc.date.submitted | 2010 | en |
dc.identifier.citation | Edsko de Vries, Adrian Francalanza and Matthew Hennessy., Uniqueness Typing for Resource Management in Message-Passing Concurrency., First International Workshop on Linearity (LINEARITY 2009). Electronic Proceedings in Theoretical Computer Science, First International Workshop on Linearity (LINEARITY 2009), Coimbra, Portugal, September 2009, M. Florido and I. Mackie, 22, 2010, 26-37 | en |
dc.identifier.other | Y | en |
dc.identifier.uri | http://hdl.handle.net/2262/53125 | |
dc.description | PUBLISHED | en |
dc.description | Coimbra, Portugal | en |
dc.description.abstract | We view channels as the main form of resources in a message-passing programming paradigm. These
channels need to be carefully managed in settings where resources are scarce. To study this problem,
we extend the pi-calculus with primitives for channel allocation and deallocation and allow channels
to be reused to communicate values of different types. Inevitably, the added expressiveness increases
the possibilities for runtime errors. We define a substructural type system which combines uniqueness
typing and affine typing to reject these ill-behaved programs. | en |
dc.description.sponsorship | This research was supported by SFI project SFI 06 IN.1 1898. | en |
dc.format.extent | 26-37 | en |
dc.language.iso | en | en |
dc.relation.ispartofseries | 22 | en |
dc.rights | Y | en |
dc.subject | Computer sciences | en |
dc.subject | message-passing programming | en |
dc.title | Uniqueness Typing for Resource Management in Message-Passing Concurrency. | en |
dc.title.alternative | First International Workshop on Linearity (LINEARITY 2009). Electronic Proceedings in Theoretical Computer Science | en |
dc.title.alternative | First International Workshop on Linearity (LINEARITY 2009) | en |
dc.type | Conference Paper | en |
dc.contributor.sponsor | Science Foundation Ireland (SFI) | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/mcbhenne | en |
dc.identifier.rssinternalid | 71579 | en |
dc.contributor.sponsorGrantNumber | 06 IN.1 1898. | en |
dc.identifier.rssuri | http://www.scss.tcd.ie/Matthew.Hennessy/pubs/linearity09-proceedings-uniqueness.pdf | en |