The type discipline of behavioral separation

DOI10.1145/2429069.2429103MaRDI QIDQ2931803zbMATH OpenOpenAlexFDO

Authors Luís Caires, João C. Seco

Publication date 27 November 2014

Published in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2429069.2429103

zbMATH Keywords

behavioral typesconcurrencyhigher-order programminginterferenceseparation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Type systems for concurrent programs.
• Spatial-behavioral types for concurrency and resource control in distributed systems
• Syntactic control of interference for separation logic
• Type and behaviour reconstruction for higher-order concurrent programs
• Roles, stacks, histories: a triple for Hoare

Cited in

(2)

• Roles, stacks, histories: a triple for Hoare
• Safe session-based concurrency with shared linear state

Describes a project that uses

Uses Software

• PIPER

This page was built for publication: The type discipline of behavioral separation

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