Publikationen
Projekte
LJGS
TreatJS
DecentJS
Transparent Object Proxies for JavaScript
Regular Expression Inequalities
Type-based Dependency Analysis
JSConTest2
JSConTest
Recency (JavaScript)
STM for Distributed Systems
Twilight STM
WASH
Coroutines
Progλang
Albert-Ludwigs-Universität Freiburg
Institut für Informatik
Technische Fakultät
Home
Personal
Lehre
Forschung
Veranstaltungen
Stellen
With Contracts
back to
Contracts
With Contract
With Contract
(TreatJS 1.x)
Description
WithContract ( bindings, contract );
Parameters
bindings
JavaScript object.
contract
Sub-
Contract
.