a parallel, safe, iterative list operation language for systems programming