Goodbye to faulty software?
describes the types project, noting that the “TYPES partners are also releasing open source software packages that anyone can download, use and modify. These packages include several ‘proof editors’ that, in type theory, are the key to guaranteeing the correctness of programs… The open source principle, says Nordström, is fundamental to what they are trying to achieve. ‘It’s important that anyone can evaluate the code and check if it is correct, so it’s inherent in this project that what we are doing should be open so that it can be discussed by everybody.’ Results from type theory are already finding their way into other projects….”. The Computational Infrastructure for Operations Research (COIN-OR**, or simply COIN) project is an initiative to spur the development of open-source software for the operations research community. As they state on their web site, “Why open source? The Open Source Initiative explains it well. When people can read, redistribute, and modify the source co
