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.
|
|