News for hackers. Stuff that matters.

A comment on Checked C from Microsoft Research. Parent comment

Re:Checked C from Microsoft Research by kbart on Tuesday June 14, 2016 @02:59AM (#11900275)
Why? Infinite loops in C are by design and have many uses: threads waiting for signals, polling, events processing etc.
[ Parent | on HN ]
Re:Checked C from Microsoft Research by patresi on Tuesday June 14, 2016 @04:40AM (#11900648)
It's a joke :)

https://en.wikipedia.org/wiki/Halting_problem

[ Parent | on HN ]
Re:Checked C from Microsoft Research by JD557 on Tuesday June 14, 2016 @06:41AM (#11901033)
Actually, Microsoft Research has another project to prove program termination: http://research.microsoft.com/en-us/projects/t2/

Obviously this cannot work on all programs, but it's nice that they tried to do their best.

[ Parent | on HN ]
Re:Checked C from Microsoft Research by kbart on Tuesday June 14, 2016 @06:01AM (#11900894)
Heh, need to relax a little then. Anyway, I've heard this complain too many times from inexperienced "programmers" ("Why my program doesn't quit?"), so the truth is not far fetched..
[ Parent | on HN ]