It seems like the pre- and post-conditions could be used to prove program correc... | Hacker News

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

		loeg on Feb 5, 2020 \| parent \| context \| favorite \| on: ZZ is a modern formally provable dialect of C It seems like the pre- and post-conditions could be used to prove program correctness?

MaxBarraclough on Feb 6, 2020 [–]

Yes, see a3p's comments. I was mistaken.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact