To a first approximation, UFO is a strict, higher-order

functional language with an object-oriented type system, and

strong support for numeric computation in the form of

SISAL-style arrays and loops. Parallelism is implicit, and

applies at various different levels of granularity, thereby

facilitating implementations on a wide range of parallel

architectures.