Combining these instructions, we can form sequence of expressions which affect one or more components of a memory object. These pieces of code will have several very interesting properties, because they define a specific class of programs called straight-line programs or SLP and analyzed in the sequel.
As a compilable C-object, a piece of code is defined as follows: