A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
TreatJS: Higher-Order Contracts for JavaScript (Artifact)
2015
Proceedings of the 29th European Conference on Object-Oriented Programming
unpublished
TreatJS is a language embedded, higher-order contract system for JavaScript which enforces contracts by run-time monitoring. Beyond providing the standard abstractions for building higher-order contracts (base, function, and object contracts), TreatJS's novel contributions are its guarantee of non-interfering contract execution, its systematic approach to blame assignment, its support for contracts in the style of union and intersection types, and its notion of a parameterized contract scope,
fatcat:6dbwhngfujecllijl5ij4ufqqe