A massively parallel, high-level programming language