This is part of the ALLOY interpreter distribution.
The full distribution includes files:
	src.tar.Z doc.tar.Z progs.tar.Z bench.tar.Z

You may use this interpreter.
You are not allowed to sell it
or make available to others any changes made
to it or to any the distribution files, 
unless you have my explicit permission.
The ALLOY Programming language is copyright (c) 1991 by Thanasis Mitsolides.


------

Example programs ready for execution include:
	1) factorial, partition sort, FP and high order functions package
	   (each highly parallel)
	2) fibonacci sequence, prime numbers 
	   (each can be eager or lazy)
	3) systolic sort, hamming network
	   (process networks with clear flow of data)
	4) list member, tree leave, list permutation, n queens 
 	   (each returns one or all solutions)
	5) queue, stack, faa, counting semaphore, dinning philosophers
	   (parallel objects)
	6) prolog package, for prolog and parlog programming styles
	   (with serial and or-parallel prolog examples)

The manual is available in dvi and ascii format.
The abstract of the ALLOY manual is appended at the end of this message.

===============================================================================
				ABSTRACT

       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 being 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  31 primitives
     in all (half of which for Object Oriented Programming support).
       This article, starts with  a formal definition of the  small ALLOY
     kernel  proceeds with the  definition of  some useful libraries  and
     concludes  with examples  which demonstrate  its expressiveness  and
     clarity.
       Programming language ALLOY is located  on system spunky.cs.nyu.edu
     directory  ~mitsolid/alloy.   This article can  be found in dvi  and
     ascii  form  on subdirectory  doc,  The  examples presented  can  be
     found  in subdirectory progs.   The  interpreter is executable  file
     alloy.   All the above and the sources of the  ALLOY interpreter are
     available   for   anonymous  ftp  on  system  cs.nyu.edu   directory 
     pub/local/alloy.

-------------------------------------------------------------------------------
Internet: mitsolid@cs.nyu.edu	             (mitsolid%cs.nyu.edu@relay.cs.net)
UUCP    : ...!uunet!cmcl2!cs!mitsolid
-------------------------------------------------------------------------------
