Expressing contract monitors as patterns of communication

DOI10.1145/2784731.2784742MaRDI QIDQ2981991zbMATH OpenOpenAlexFDO

Authors Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt

Publication date 10 May 2017

Published in Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

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

zbMATH Keywords

asynchronous monitoringbehavioral specificationlazy monitoring

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• An extended account of contract monitoring strategies as patterns of communication
• Complete monitors for behavioral contracts
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• The interaction of contracts and laziness
• Session-typed concurrent contracts

Cited in

(6)

• Complete monitors for behavioral contracts
• An extended account of contract monitoring strategies as patterns of communication
• Primitives for contract-based synchronization
• The interaction of contracts and laziness
• Session-typed concurrent contracts
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation

Describes a project that uses

Uses Software

• Racket

This page was built for publication: Expressing contract monitors as patterns of communication

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