文件名称：LAMA:用于验证SCADE程序的中间语言（包括翻译）
文件大小：311KB
文件格式：ZIP
更新时间：2024-06-07 18:20:40
Haskell
项目结构 该项目包括四个部分： 语 口译员 scade2lama lamaSMT第一个包含LAMA语言的解析器，类型检查器和依赖项检查器。 在同名目录中有一个用于LAMA的解释器，因此您可以运行模拟。 接下来，我们将在“ scade2lama”中找到从SCADE到LAMA的翻译器。 最后但并非最不重要的一点是，在lamaSMT中，使用SMT实现了对LAMA程序的实际验证。 安装和依赖项 建议使用cabal进行安装。 “语言”项目不需要任何特殊的库，只需要安装alex和happy。 因此，此后，只需在“语言”目录中进行简单的“ cabal安装”即可。 所有其他子项目都需要安装“语言”。 解释器的安装是可选的，通常不是必需的。 “ scade2lama”子项目需要安装库“ language-scade”，该库不在hackage上。 可以在找到。 最后，“ lamaSMT”项目还需要安装sm