Comment on Principles of Imperative ComputationparentComments−emorning33yIt's not about generating code from contracts, it's about formally verifying that the associated C0 code satisfies those contracts.
Comments
It's not about generating code from contracts, it's about formally verifying that the associated C0 code satisfies those contracts.