Run-time diagnostics in programming languages with data-structuring facilities
Thesis
(1980). Run-time diagnostics in programming languages with data-structuring facilities
Modern high level programming languages have been designed with the intention of providing the means of expressing the solution to a problem in the most natural way possible. This thesis is concerned with the correctness of such solutions.
The relia...
Read More about Run-time diagnostics in programming languages with data-structuring facilities.