Dynamic Sequential Step Control

This Chapter investigates the concept of sequential REFLECTIVE MACHINES (aka self-modifying or adaptive): an abstract ground model and four concrete specifications in terms of imperative (RAM), functional (LISP), logic (PROLOG) and object-oriented (JAVA) programming. It is shown how indirect adddressing can be defined by reflectivity. Its use to specify computationally universal machines is illustrated in Ch.9.