ALLOY - Combines functional, object-oriented and logic programming ideas,
suitable for massively parallel systems. "The Design and Implementation of
ALLOY, a Parallel Higher Level Programming Language", Thanasis Mitsolides
, PhD Thesis NYU 1990. Version: ALLOY 2.0
ftp://cs.nyu.edu/pub/local/alloy/*
Comments, Experience, Additions
Next Language: ALM