ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Mon 6 Jul 2015 15:20 - 15:40 at Moravia III - Contracts

Behavioral contracts are widely used in programming languages to specify and enforce the dynamic behavior of programs. In this paper we present an extension of contracts.js, a behavioral contract library for JavaScript, that enables programmers to specify temporal properties of programs. In particular, we describe async contracts that enforce when a function may be invoked with respect to the event loop.

Contracts for Async Patterns in JavaScript (STOP_2015_submission_3.pdf)287KiB