Software Assurance Reference Dataset

[ponce via Digitalmars-d]

On Thursday, 26 June 2014 at 21:01:40 UTC, Araq wrote:
>>
>> Spark is a research language that does not work, as I've 
>> discovered and discussed with you before. It cannot be 
>> determined the max stack usage at compile time, again, this is 
>> the halting problem.
>>
>
> What?! It's easily solvable: Forbid recursion and indirect
> function calls and it's guaranteed that the program only 
> requires
> a fixed size stack and you can compute an upper bound of the
> required stack size at compile-time. Which is BTW exactly what
> OpenCL does as GPUs tend to have no stacks.

Actually CUDA do have recursion, and indirect function calls.