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
Contracts
back to
TreatJS Core API Documentation
Base Contracts
Function Contracts
Object Contracts
Method Contracts
Contract Constructors
Dependent Contracts
With Contracts
Combinator Contracts
