swMATH19991MaRDI QIDQ31814FDOQ31814
Author name not available (Why is that?)
Official website: https://proglang.informatik.uni-freiburg.de/treatjs/
Cited In (13)
- LMS-Verify: abstraction without regret for verified systems programming
- Session-typed concurrent contracts
- An extended account of contract monitoring strategies as patterns of communication
- Blame assignment for higher-order contracts with intersection and union
- OptiML
- Contract
- BPGen
- PyBlame
- Racket
- Stardust
- Bottle
- Sage
- A Debugger-Cooperative Higher-Order Contract System in Python
This page was built for software: TreatJS
