Towards Hume Simd Vectorisation

Hume is a novel formally-motivated programming language oriented to developing software where strong assurance of resource use is paramount, in particular embedded systems. In this paper, the authors explore the use of Hume in a context of heterogeneous platforms where resource knowledge may guide the mapping of activities to different platform components. They present an overview of the Hume language design and methodology, and discuss its deployment in the exploitation of SIMD vectorisation of a simple low-level image processing routine.