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
It is planned to run it on a 64 processor KSR machine.