TreatJS
From MaRDI portal
Cited in
(13)- OptiML
- Contract
- Blame assignment for higher-order contracts with intersection and union
- PyBlame
- BPGen
- A Debugger-Cooperative Higher-Order Contract System in Python
- Racket
- Stardust
- Bottle
- Sage
- An extended account of contract monitoring strategies as patterns of communication
- LMS-Verify: abstraction without regret for verified systems programming
- Session-typed concurrent contracts
This page was built for software: TreatJS
