How do they prove correctness of their GC? | Hacker News

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

amelius on July 6, 2016 | parent | context | favorite | on: Go’s march to low-latency GC

How do they prove correctness of their GC?

coldtea on July 7, 2016 [–]

They run lots of programs and see if they crash/leak.

(Seriously, Go is not really an academic language caring for that kind of stuff, unless it comes off easily to prove it).

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