Abstract machines

 

Example of abstract machine  :  Arrays

Basic operations:

    ELEMENT ( T [i, j, ...] ) : Access to element T[i, j, ...] of array  T.

    ASS_ELEMENT ( T [I, J, ...], Val ) : Assign value Val to element T[i, j, ...].

Dynamic allocation:

    ALLOC_ARRAY ( T ) :   Array allocation.

    LIBER_ARRAY ( T )  :     Free an array.