文件名称：scala-am:（摘要）使用Scala进行抽象机实验
文件大小：1.07MB
文件格式：ZIP
更新时间：2024-06-16 21:29:12
Scheme
Scala-AM：动态语言静态分析的框架 笔记： 我们已将研究重点转移到研究模块化静态分析。 结果，对Scala-AM进行了彻底的大修以支持这种分析，并且该框架恢复为MAF（ 。 像Scala-AM一样，MAF是用于动态语言静态分析的模块化框架，但它面向（进行实验）模块化分析技术。 MAF可用。 目标 该工件的目标是尝试使用抽象机器和语言语义。 目前，人工制品的实现方式侧重于采用模块化分析的实验。 此外，还提供了R5RS方案的语义。 用法 Scala-AM框架可以以多种方式使用。 使用JavaScript可视化前端 该框架包括一个JavaScript前端，可用于在浏览器中可视化MODF分析。 要运行此可视化scalaam.html ，请使用浏览器打开文件scalaam.html 。 可视化提供有关工作清单（浅蓝色）和当前分析的组件（深蓝色）的信息。 可以使用空格键逐步完成可视化。 如果