[3] ParaSail uses a pointer-free programming model, where objects can grow and shrink, and value semantics are used for assignment.

There are no global variables, no parameter aliasing, and all subexpressions of an expression can be evaluated in parallel.

Assertions, preconditions, postconditions, class invariants, etc., are part of the standard syntax, using a Hoare-like notation.

Initial design of ParaSail began in September 2009, by S. Tucker Taft.

More recently, the parallel constructs of ParaSail have been adapted to other syntaxes, to produce Java-like, Python-like, and Ada-like parallel languages, dubbed, respectively, Javallel, Parython, and Sparkel (named after the Ada subset SPARK on which it is based).