机构名称：
¥ 1.0
M M A A L L P P A A S S 用于软件源代码，但在分析之前，必须使用 M M A A L L P P A A S S 中间语言 (IL) 对源代码进行建模。将代码翻译成 IL 后，M M A A L L P P A A S S 可以应用于任何编程语言的程序。IL 模型的构建本身就是一种非常有启发性的练习；用户发现，使用 IL 的正式严谨性重新表达程序可以快速揭示代码中的歧义。即使在早期阶段，错误和潜在的改进也经常会变得明显。将源代码翻译成 IL 可以手动完成，也可以使用自动翻译器完成。有多种自动翻译器可用于多种语言，包括 Ada、C、Pascal、CORAL 66、PL/M-86、FORTRAN、Intel ASM86 和 Motorola 6809。
MALPAS 入门指南
主要关键词
相关文件推荐
