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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

STOP2015
14:40 - 15:40: STOP - Contracts at Moravia III
STOP201514:40 - 15:00
Talk
File Attached
STOP201515:00 - 15:20
Talk
A: Andrew KentIndiana University, A: Sam Tobin-HochstadtIndiana University
File Attached
STOP201515:20 - 15:40
Talk
A: Tim Disney, A: Cormac FlanaganUC Santa Cruz
File Attached