tool: ALLOY

---

Language:	ALLOY
Version:	2.0?
Parts:	interpreter, documentation, examples
Author:	Thanasis Mitsolides <mitsolid@cs.nyu.edu>
Location:	ftp://cs.nyu.edu/pub/local/alloy/*
Description:	ALLOY is a higher level parallel programming language appropriate for programming massively parallel computing systems. It is based on a combination of ideas from functional, object oriented and logic programming languages. The result is a language that can directly support functional, object oriented and logic programming styles in a unified and controlled framework. Evaluating modes support serial or parallel execution, eager or lazy evaluation, non-determinism or multiple solutions etc. ALLOY is simple as it only requires 29 primitives in all (half of which for Object Oriented Programming support).
Ports:	sparc, ?
Updated:	June 11th, 1991

category: concurrent, parellel, and simulation languages summary, or expanded.

category: functional languages summary, or expanded.

category: object oriented languages summary, or expanded.