EzPSL 简单的并行算法规范语言。 这是一种很小的命令式,无类型的,类似于伪代码的语言,用于描述简单的并行算法。 该语言“编译”为以便可以对其进行详尽检查。 入门 没有二进制分布。 您将需要安装构建系统并从源代码编译此工具: git clone https://github.com/Calvin-L/ezpsl.git cd ezpsl stack build stack test # optional! cp `stack exec -- which ezpsl` . 用法: ./ezpsl FILE 如果文件是.tla文件,则该工具将查找\* #include FILE.ezs格