Technology TreatJS: Higher-Order Contracts for JavaScript

1. TreatJS Higher-Order Contracts for JavaScript Matthias Keil, Peter Thiemann Institute for Computer Science University of Freiburg Freiburg, Germany June 30, 2014, Dagstuhl…

Technology TreatJS: Higher-Order Contracts for JavaScripts

1. TreatJS Higher-Order Contracts for JavaScript Roman Matthias Keil, Peter Thiemann University of Freiburg, Germany July 8, 2015, The European Conference on Object-Oriented…