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

Mon 6 Jul

STOP2015
14:40 - 15:40: STOP - Contracts at Moravia III
STOP2015143618640000014:40 - 15:00
Talk
File Attached
STOP2015143618760000015:00 - 15:20
Talk
Andrew KentIndiana University, Sam Tobin-HochstadtIndiana University
File Attached
STOP2015143618880000015:20 - 15:40
Talk
File Attached