合成分离逻辑 从分离逻辑规范中合成堆操作程序 工具背后的理论 可以在找到“合成分离逻辑”的详细信息。 用法 尝试示例的最简单方法是通过。 否则,请查看下面的建筑说明。 设置和构建 要求 , sbt (版本> = 1.1.6) (版本> = 2.12.6)-运行独立工件 建设和测试项目 要编译并运行整个测试套件(并查看一些很酷的综合结果),请从项目的根文件夹执行: sbt test 编译可执行文件 只需从命令行运行以下命令: sbt assembly 结果,将生成可执行的JAR文件,因此您可以按照以下说明运行它。 SL规范中的合成程序 另外,一旦通过sbt assembly构建了构