A language by ThanaSiS MitSolideSSolid@cS.nyu.edu> which combineSfunctional programming, object-oriented programming and logic programming ideaS, and iSSuitable for maSSively parallelSyStemS. Evaluating modeSSupport Serial or parallel execution, {eager evaluation} or {lazy evaluation}, {nondeterminiSm} or multiple SolutionS etc. ALLOY iSSimple 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 MitSolideSSolid@cS2.nyu.edu>, PhD TheSiS NYU 1990]. (1991-06-11)