×

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!

Comments

top

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.

more than 5 years ago
top

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

Submissions

stengah hasn't submitted any stories.

Journals

stengah has no journal entries.

Slashdot Login

Need an Account?

Forgot your password?