Static type checking is abstract interpretation. If you program in Java you are ... | Hacker News

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

		UncleMeat on Jan 22, 2019 \| parent \| context \| favorite \| on: Why Don't People Use Formal Methods? Static type checking is abstract interpretation. If you program in Java you are using formal methods.

barbecue_sauce on Jan 22, 2019 | [–]

So we do use formal methods! Problem solved.

kiriakasis on Jan 22, 2019 | [–]

The proofs you produce are probably weaker than those the author wants

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