Dear Colleagues,
Based on the concept of axiomatic semantics (stacks in particular), consider the expression below:
pop(pop(push(4, pop(push(top(push(6,s)), pop(push(7, createstack())))))))
How can this be simplified for ease of understanding.
Thanks