Software Assurance Reference Dataset

[Andrei Alexandrescu via Digitalmars-d]

On 6/26/14, 2:01 PM, 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

I do agree that a useful subset of a language can be conservatively 
defined that doesn't require solving the halting problem. But that's not 
easy at all - it requires interprocedural analysis.

Andrei