0 someone whose job is to use and control a machine or vehicle: --
1 a symbol that does something to a number or quantity in a calculation. For example, in 7 + y, the symbol + is the operator --
2 a person who makes something work or puts something into action: --
3 someone whose job is to use and control a machine, vehicle, or piece of equipment: --
4 a company that runs a particular type of business: --
5 a person who connects people on a phone system: --
He worked as a 911 operator with the Cincinnati Police Department.
a switchboard operator
In section 4 we give an interpretation of the types of our systems as monotone operators on value sets.
Note that complex widening operators, such as the ones that will be presented in the following sections, will not generally be stable.
A typical solution is to add new operators to the abstract interface for freeing of abstract objects.
Most languages support some kind of overloading of operators, also known as ad hoc polymorphism.
The other functions and operators are also shown here because of their use in the transformation process.
In functional programming, catamorphisms are what are known as fold operators.
Using these operators, we were able to either incorporate or not incorporate each of these four constraints independently.
The usefulness of the operators designed in the first experiment could then be evaluated with a more difficult design problem and related scalability issues investigated.