Properties that are determinable of a ruby program in a static context:
-
trivially: int main() { return 0; } All the lines of this program execute.
Yes, if you write a trivial program it is trivial to determine. Same does not hold for any program
-
-
there is a point here, I will explain the more subtle interpretation when we next see each other.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.