Session-typed concurrent contracts
From MaRDI portal
Publication:5925542
DOI10.1016/j.jlamp.2021.100731zbMath1487.68165OpenAlexW3208692159MaRDI QIDQ5925542
Limin Jia, Hannah Gommerstadt, Frank Pfenning
Publication date: 24 November 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100731
Functional programming and lambda calculus (68N18) 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
Uses Software
Cites Work
- Unnamed Item
- Relating state-based and process-based concurrency through linear logic (full-version)
- Subtyping for session types in the pi calculus
- Session Types with Gradual Typing
- Monitors and blame assignment for higher-order session types
- Complete Monitors for Behavioral Contracts
- Polarized Substructural Session Types
- Contracts for higher-order functions
- Blame assignment for higher-order contracts with intersection and union
- Context-free session types
- A Theory of Design-by-Contract for Distributed Multiparty Interactions
- Session Types as Intuitionistic Linear Propositions
- Well-Typed Programs Can’t Be Blamed
- Software reliability via run-time result-checking
- An extended account of contract monitoring strategies as patterns of communication
- Temporal higher-order contracts
- Higher-Order Processes, Functions, and Sessions: A Monadic Integration
- Blame for all
- Correct blame for contracts
- Linear logic propositions as session types
- Session-typed concurrent contracts