Types and operators for saturated arithmetic in image processing

Dr Paul Cockshott, University of Glasgow

In digital signal processors and in multi-media instruction sets such as MMX or the instruction set of the Sony Playstation, support is provided for saturated arithmetic. I will discuss possible ways of representing these features in programming languages, both at the level of types and at the level of arithmetic operators. The discussion will be illustrated by examples of how to compile these operations effectively.