Expressing contract monitors as patterns of communication

DOI10.1145/2784731.2784742zbMath1360.68370OpenAlexW2044662740MaRDI QIDQ2981991

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

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

Related Items (1)

An extended account of contract monitoring strategies as patterns of communication

Uses Software

• Racket

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