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

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) 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)

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

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)