TreatJS: Higher-Order Contracts for JavaScripts.

Matthias Keil, Peter Thiemann

Browse the full ECOOP paper archive.