Session-typed concurrent contracts

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

zbMATH Keywords

contractstype theorysession typesmonitors

Mathematics Subject Classification ID

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

Preface to the special issue on the 12th workshop on programming language approaches to concurrency and communication-centric software (PLACES) 2020

Uses Software

• TreatJS

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