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
TreatJS Core API Documentation
back to
TreatJS
Config
Contracts
Maps
Export
Running TreatJS
Predefined Contracts
