This is a good explanation of what happens on the machine.<p>However, most languages (C, C++, etc) have different definitions of what pointers are, and many operations that seem reasonable on the machine model are in fact undefined behavior.<p>In C, for example, you cannot reference one object from a pointer to another object (there is one exception to this rule).