Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam: An extended account of contract monitoring strategies as patterns of communication (2018)
- Amin, Nada; Rompf, Tiark: LMS-verify: abstraction without regret for verified systems programming (2017)
- Arai, Ryoya; Sato, Shigeyuki; Iwasaki, Hideya: A debugger-cooperative higher-order contract system in Python (2016)
- Keil, Matthias; Thiemann, Peter: Blame assignment for higher-order contracts with intersection and union (2015)