Theoretically bug-free programs

Posted by user2443423 on Programmers See other posts from Programmers or by user2443423
Published on 2014-05-15T19:57:57Z Indexed on 2014/06/02 21:45 UTC
Read the original article Hit count: 371

Filed under:

bug

|

theory

I have read lot of articles which state that code can't be bug-free, and they are talking about these theorems:

Actually Rice's theorem looks like an implication of the halting problem and the halting problem is in close relationship with Gödel's incompleteness theorem.

Does this imply that every program will have at least one unintended behavior? Or does it mean that it's not possible to write code to verify it? What about recursive checking? Let's assume that I have two programs. Both of them have bugs, but they don't share the same bug. What will happen if I run them concurrently?

And of course most of discussions talked about Turing machines. What about linear-bounded automation (real computers)?

© Programmers or respective owner

Related posts about bug

MySQL Connector/Net 6.5.5 Maintenance Release has been released

as seen on Oracle Blogs - Search for 'Oracle Blogs'
MySQL Connector/Net 6.5.5, a new maintenance release of our 6.5 series, has been released. This release is GA quality and is appropriate for use in production environments. Please note that 6.6 is our latest driver series and is the recommended product for development. It is now… >>> More
MySQL Connector/Net 6.4.6 Maintenance Release has been released

as seen on Oracle Blogs - Search for 'Oracle Blogs'
MySQL Connector/Net 6.4.6, a new version of the all-managed .NET driver for MySQL has been released. This is a maintenance release and is recommended for use in production environments. It is appropriate for use with MySQL server versions 5.0-5.6. This is intended to be the final release… >>> More
Minty Bug: Build an FM Bug Inside a Mint Container

as seen on How to geek - Search for 'How to geek'
Electronics projects that have real world (and showing off to your friends) potential are the most fun; today we take a look at a clever FM bug design hidden in a mint container. At PyroElectro Projects they wanted to try something new with the whole electronics-in-mint-container genre. They opted… >>> More
Bug Triage

as seen on Daniel Moth - Search for 'Daniel Moth'
In this blog post brain dump, I'll attempt to describe the process my team tries to follow when dealing with new bug reports (specifically, code defect reports). This is not official Microsoft policy, just the way we do things… if you do things differently and want to share, you can do so at the bottom… >>> More
IE Display Bug, jQuery bug

as seen on Stack Overflow - Search for 'Stack Overflow'
So I built some complex ajaxy jquery module on my homepage, with the help of "scrollable" from flowplayer.org. It works fine for me on Chrome, Opera, Firefox ... but of course IE is not playing friendly (regardless of the version, from my testing). Objects are not displaying exactly where they should… >>> More

Related posts about theory

Why does NUnit ignore datapoints when using generics in a theory

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to make use of the TheoryAttribute, introduced in NUnit 2.5. Everything works fine as long as the arguments are of a defined type: [Datapoint] public double[,] Array2X2 = new double[,] { { 1, 0 }, { 0, 1 } }; [Theory] public void TestForArbitraryArray(double[,] array) { // ... } It… >>> More
How do you deal with translating theory into practice?

as seen on Programmers - Search for 'Programmers'
Hello all! Being a computer scientist in a research field I am often tasked with working alongside professionals outside of the software domain (think math people, electrical engineer etc), and then translating their theories and ideas into real-world implementations. I often find it difficult when… >>> More
Title Tag Optimization - Common Grounds Between Raw SEO Theory & Search Engine Marketing Priorities

as seen on Ezine Articles - Search for 'Ezine Articles'
All you have to know about how to properly optimize title tag if you're just starting an onpage optimization campaign. Plus some easy to implement marketing tips to attract endless visitors to your content. >>> More
Database theory - relationship between two tables

as seen on Stack Overflow - Search for 'Stack Overflow'
I have a database with two tables - let's call them Foo and Bar. Each foo may be related to any number of bars, and each bar may be related to any number of foos. I want to be able to retrieve, with one query, the foos that are associated with a certain bar, and the bars that are associated with a… >>> More
Recommended book about parallel programming - theory & best practice?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm looking for a book or books about multicore, multithreaded programming. The perfect book should focus on best practices and maybe include a bit of theory background. I'm not interested in a book which only describes a single library and focuses on its API. OS actually doesn't matter. >>> More