< 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].
(1991-06-11)