From the perspective of software reliability, one of … of certain kinds of errors. … Type checking detects that sort of nonsense which … := X is legal (illegal) at one point … scope of the declarations of X and Y. …
Google-1Google-2
Copyright clearance needed for quotation.
Related Topics
Group: type checking (12 topics, 385 quotes)
Topic: data types in Thesa (92 items)