Software Assurance Reference Dataset

[Timon Gehr via Digitalmars-d]

On 06/26/2014 11:35 AM, Walter Bright wrote:
> On 6/26/2014 2:19 AM, bearophile wrote:
>> One kind of problem left is to avoid stack overflows.
>
> In general, stack overflow checking at compile time is the halting
> problem.

That is irrelevant to his point because he is not suggesting to solve 
the general problem precisely. Analogously: In general, checking whether 
some variable in e.g. Python is ever assigned a string value is 
undecidable as well, but this does not imply we cannot have 'int' 
variables in D.