ALLOY
A language by Thanasis Mitsolides
which combines {functional programming},
{object-oriented programming} and {logic programming} ideas,
and is suitable for {massively parallel} systems.
Evaluating modes support serial or parallel execution, {eager
evaluation} or {lazy evaluation}, {nondeterminism} or multiple
solutions etc. ALLOY is simple as it only requires 29
primitives in all (half of which are for {object oriented
programming} support).
It runs on {SPARC}.
{(ftp://cs.nyu.edu/pub/local/alloy/)}.
["The Design and Implementation of ALLOY, a Parallel Higher
Level Programming Language", Thanasis Mitsolides
, PhD Thesis NYU 1990].
(1991-06-11)