Announcing: Slashdot Deals - Explore geek apps, games, gadgets and more. (what is this?)

Thank you!

We are sorry to see you leave - Beta is different and we value the time you took to try it out. Before you decide to go, please take a look at some value-adds for Beta and learn more about it. Thank you for reading Slashdot, and for making the site better!



Black Holes From the LHC Could Last For Minutes

stengah Re:I say "go for it!" (672 comments)

We could be the first species to win an intergalactic Darwin award. That would be cool... Somehow.

about 6 years ago

Do Static Source Code Analysis Tools Really Work?

stengah Re:Halting problem bullshit (345 comments)

Indeed. In fact, most of the interesting algorithms come with a proof of correctness and termination. The problem is, traditional programming languages are not expressive enough to specify and prove termination within the language itself. But there are many ways to achieve this : either annotate the program with logical assertions, allowing an external automated demonstration program to *try* to check soundness and completness; or program directly with Coq or PVS. Some links : http://why.lri.fr/ & http://coq.inria.fr/.

more than 6 years ago


stengah hasn't submitted any stories.


stengah has no journal entries.

Slashdot Login

Need an Account?

Forgot your password?