<language>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. ftp://cs.nyu.edu/pub/local/alloy/. ["The Design and Implementation of ALLOY, a Parallel Higher Level Programming Language", Thanasis Mitsolides <[email protected]>, PhD Thesis NYU 1990].
Last updated: 1991-06-11