这是名为 Soufflé 的 Linux 应用程序，其最新版本可以作为 Release2.4.zip 下载。 它可以在工作站的免费托管服务提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行这个名为 Soufflé 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
SCREENSHOTS
Ad
蛋奶酥
商品描述
为您的逻辑分析问题快速制作原型； 实现深度设计空间探索； 专为大规模静态分析而设计； 例如，Java 的指向分析、污点分析和安全检查。 Futamura 预测/部分评估以有效转换为并行 C++； 优化阶段编译； 用于逻辑关系的专门数据结构。 Datalog 程序的并行 C++ 高效转换（CAV'16、CC'16） 使用去专业化技术进行高效解释（PLDI'21）具有最佳索引的关系专用数据结构（PACT'19、PPoPP'19、PMAM'19） selection (VLDB'18) Datalog 的扩展语义，例如，允许使用数字和术语进行无限递归。 Datalog 规范的简单组件模型。 为元组递归定义记录类型/ADT（也称为构造函数）。 用户定义的仿函数。 为安全起见的强类型。 包含、聚合、选择构造 (APLAS'21)。
項目特色
- Datalog 程序的并行 C++ 高效翻译（CAV'16、CC'16）
- 使用去专业化技术的高效解释 (PLDI'21)
- 具有最佳索引选择 (VLDB'19) 的关系专用数据结构（PACT'19、PPoPP'19、PMAM'18）
- Datalog 的扩展语义，例如，允许使用数字和术语进行无限递归
- Datalog 规范的简单组件模型
- 为元组递归定义的记录类型/ADT（也称为构造函数）
程式语言
C + +中
分类
这是一个也可以从 https://sourceforge.net/projects/souffl.mirror/ 获取的应用程序。 它已托管在 OnWorks 中，以便以最简单的方式从我们的免费操作系统之一在线运行。
