48 citations · 157 across the 6 of their papers we have counts for
1 paper · 1 filter
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Behavioral software contracts are a widely used mechanism for governing the flow of values between components. However, run-time monitoring and enforcement of contracts imposes sig…