Comment on Principles of Imperative ComputationComments−sdkgames3yIs 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−emorning33yIt's not about generating code from contracts, it's about formally verifying that the associated C0 code satisfies those contracts.
Comments
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
It's not about generating code from contracts, it's about formally verifying that the associated C0 code satisfies those contracts.