Uniqueness typing for resource management in message-passing concurrency

MaRDI QIDQ5150150zbMATH OpenFDO

Authors Edsko Devries, Adrian Francalanza, Matthew G. Hennessy

Publication date 9 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2009.3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Uniqueness typing for resource management in message-passing concurrency
• Typing the use of resources in a concurrent calculus
• Compositional reasoning for explicit resource management in channel-based concurrency
• Verification, Model Checking, and Abstract Interpretation
• Resource Usage Analysis for the Pi-Calculus

Cited in

(6)

• Exception handling for copyless messaging
• Uniqueness typing for resource management in message-passing concurrency
• Compositional reasoning for explicit resource management in channel-based concurrency
• Resource-passing concurrent programming
• Typing copyless message passing
• Linearity and uniqueness: an entente cordiale

This page was built for publication: Uniqueness typing for resource management in message-passing concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5150150)