Exception handling for copyless messaging

DOI10.1016/j.scico.2013.05.001zbMath1283.68208OpenAlexW4244012086MaRDI QIDQ2441510

Luca Padovani, Svetlana Jakšić

Publication date: 25 March 2014

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2013.05.001

zbMATH Keywords

session typesexception handlingcopyless message passingmemory leak prevention

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ Exception handling for copyless messaging ⋮ A Type Theory for Robust Failure Handling in Distributed Systems

Uses Software

• GUM

Cites Work

• Region-based memory management
• Exception handling for copyless messaging
• Subtyping for session types in the pi calculus
• Static prediction of heap space usage for first-order functional programs
• Structured Interactional Exceptions in Session Types
• Transactional events
• Typing Copyless Message Passing
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Exception handling for copyless messaging