The power of notation: modeling pointer operations

A system of notations for tracing programs devised by the author is shown to be of use in modeling operations on pointers. Typical examples using linked lists are provided.