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

While types describe what values an expression computes, the effects of an expression describe how it is computed, e.g. whether its evaluation manipulates global state, accesses the file system or may throw certain exceptions. Having to specify types and effects throughout the program might not be feasible in a scripting language but simple effect contracts may still help to prevent many programming errors. This paper described the design and implementation of a system that statically checks effect contracts in JavaScript programs.

A Light-Weight Effect System for JavaScript (stop15-jsfx-revised.pdf)236KiB

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