Is this about Design by contract? [0] But why do they force students to use an i... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		sdkgames on June 25, 2023 \| parent \| context \| favorite \| on: Principles of Imperative Computation 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

emorning3 on June 26, 2023 [–]

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

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact