dc.contributor.author | HENNESSY, MATTHEW | en |
dc.date.accessioned | 2013-08-08T09:03:27Z | |
dc.date.available | 2013-08-08T09:03:27Z | |
dc.date.issued | 2012 | en |
dc.date.submitted | 2012 | en |
dc.identifier.citation | Edsko de Vries and Adrian Francalanza and Matthew Hennessy., Uniqueness Typing for Resource Management in Message-Passing Concurrency., Journal of Logic and Computation, 24, 3, 2012, 531-556. | en |
dc.identifier.other | Y | en |
dc.identifier.uri | http://hdl.handle.net/2262/66926 | |
dc.description | PUBLISHED | 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 | Edsko de Vries and Matthew Hennessy are supported by SFI project [SFI 06 IN.1 1898] | en |
dc.format.extent | 531-556. | en |
dc.language.iso | en | en |
dc.relation.ispartofseries | Journal of Logic and Computation | en |
dc.relation.ispartofseries | 24 | en |
dc.relation.ispartofseries | 3 | en |
dc.rights | Y | en |
dc.subject | Message-passing concurrency, type systems, resource management | en |
dc.subject.lcsh | Message-passing concurrency, type systems, resource management | en |
dc.title | Uniqueness Typing for Resource Management in Message-Passing Concurrency. | en |
dc.type | Journal Article | 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 | 83789 | en |
dc.identifier.doi | http://dx.doi.org/10.1093/logcom/exs022 | en |
dc.contributor.sponsor | National Institutes of Health (NIH) | en |
dc.contributor.sponsorGrantNumber | 06 IN.1 1898 | en |