next up previous contents
Next: 7.2.1 The local stack Up: 7 The GWAM Previous: 7.1 Terminology

7.2 The data structures

The WAM model assumes a tagged memory model. This means that memory locations are 'typed', i.e. that it is possible to tell which datatype is in the memory location. Since registers have neither tags nor addresses, with these it is only possible to handle references (or at most constants) but it is impossible to represent free variables, structures or lists directly. The tagged memory is handled by the following tags:

table1570

The memory layout is shown in table 1. At the top are the low addresses, increasing downwards.

  table1576
Table 1:   The memory layout of the local and global stacks





Harold Boley (boley@informatik.uni-kl.de)