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. . ["The Design and Implementation of ALLOY, a Parallel Higher Level Programming Language", Thanasis Mitsolides , PhD Thesis NYU 1990]. (1991-06-11)
