The type discipline of behavioral separation

DOI10.1145/2429069.2429103zbMath1301.68096OpenAlexW1971164151MaRDI QIDQ2931803

João C. Seco, Luís Caires

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

interferenceseparationconcurrencybehavioral typeshigher-order programming

Mathematics Subject Classification ID

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• PIPER

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