In the word of Dijkstra, an eminent computer scientist "the art of programming is the art of organising complexity". He goes on to add that "we must organize the computations in such a way that our limited powers are sufficient to guarantee that the computation will establish the desired effect".
As programs becomes larger verifying them for correctness becomes very difficult. Any amount of testing would be hopeless inadequate unless the internal structure of the program is taken into account. The syntax and the other features of a language must prevent the programmers from making errors.
Languages based on this principle ensure that the flow of control is evident from the structure of the program text. The support for sub-programs and functions in high level languages simplifies the expression of large program in structured manner.
As programs becomes larger verifying them for correctness becomes very difficult. Any amount of testing would be hopeless inadequate unless the internal structure of the program is taken into account. The syntax and the other features of a language must prevent the programmers from making errors.
Languages based on this principle ensure that the flow of control is evident from the structure of the program text. The support for sub-programs and functions in high level languages simplifies the expression of large program in structured manner.
No comments:
Post a Comment