3 ms·

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 https:

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 https://en.wikipedia.org/wiki/Design_by_contract

emorning3 3y ago
It's not about generating code from contracts, it's about formally verifying that the associated C0 code satisfies those contracts.