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.