Software Assurance Reference Dataset

[Paulo Pinto via Digitalmars-d]

Am 29.06.2014 11:07, schrieb ponce:
> 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.

Not only that, CUDA offers a quite usable C++ subset whereas OpenCL 
keeps us in the primitive C land.

--
Paulo