Hacker News new | ask | show | jobs
by sdkgames 1096 days ago
Is this about Design by contract? [0] But why do they force students to use an imperative language?

[0] https://en.wikipedia.org/wiki/Design_by_contract
1 comments
emorning3 1095 days ago
It's not about generating code from contracts, it's about formally verifying that the associated C0 code satisfies those contracts.
link