<language> A language by Thanasis Mitsolides
<mitsolid@cs.nyu.edu> 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
<mitsolid@cs2.nyu.edu>, PhD Thesis NYU 1990].