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)