Correctness of an Algorithm The issue at hand: When a computer programmer is wri
ID: 2982952 • Letter: C
Question
Correctness of an Algorithm
The issue at hand:
When a computer programmer is writing source code, each program or part of a program is meant to accomplish a certain given task. Many times, people write their programs using a combination of logical analysis and trial and error. Then programs are tested using sets of sample data that are deliberately chosen to test the correctness of the program under extreme circumstances. How can you really be assured that the program will always work correctly?
An approach to answering this question:
Starting in 1967 with a paper by Robert Floyd, there has been significant effort invested in ensuring that algorithms (the plans behind computer programs) are correct at the time that they
Explanation / Answer
This would produce following result: