A programming language with no loop constructs. The call graph must be acyclic.
This language is fairly expressive and is guaranteed to terminate (though probably exponential or worse).
I wish HTML had gone this route.
Macros which must be defined before use; no recursion. I'm not completely sure what happens if higher order functions are permitted.
Finite loops (e.g., for loops with constant maximum index, where the index variable cannot be modified within the loop) also terminate.
No comments :
Post a Comment