April 2020
Intermediate to advanced
244 pages
7h 20m
English
The programming experience with Turing-complete languages has demonstrated the practical impossibility of preventing the presence of bugs within source code. Despite the use of specialized tools for checking the quality of the software (code auditing tools), the absence of bugs within the source code is not guaranteed, and these bugs are often discovered by chance, long after the software is released. The presence of bugs is moreover linked to the use of dynamic instructions of Turing-complete languages, such as iterations and conditional instructions, which contribute to an increase in the complexity of the source code. If the level of complexity exceeds the critical threshold, ...
Read now
Unlock full access