ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague 1, 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