We know that ‘computation is a process of unfolding the given problem’. I always had this question, why is it not ‘computation is a process of unfolding the given problem with respect to time’? Everything we do has the time dimension. We have seen hardware students doing it as well, but why not in software’s? That is one serious question I have!
In other understandable term, we say:
“x” made a transition to “y” with input “u”
Instead, why don’t we say:
“x” made a transition to “y” with input “u” at time “t”
Time is not in design. So it is not in program as well. But is it essential to have it?
I see the answer for it as ‘yes’. It could be a means to prove the correctness of a program. Time definitely needs to be associated with every step event in the program. Yes. It is a call for better design and programming mechanism.