UFO definition language
(United Functions and Objects) A hybrid functional
language designed by John Seargant at Manchester University for general-purpose parallel computation.
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.
It is planned to run it on a 64 processor KSR