文件名称：ssa-anf:SSA和ANF
文件大小：176KB
文件格式：ZIP
更新时间：2024-06-09 10:11:51
Haskell
SSA和ANF 此仓库提供以下内容： AST，用于表示静态单一分配（SSA）程序 AST，代表行政标准表格（ANF）程序 两者的漂亮印刷 [1]中介绍的SSA到ANF转换算法的实现。 使用[1]中提出的算法实现稀疏条件常数传播（SCCP）[2] M. Chakravarty，G。Keller和P. Zadarnowski。 COCV，2003年。 M. Wegman和F. Zadeck。 ACM TOPLAS，1991年。 转换范例 示例SCCP转换
【文件预览】：
ssa-anf-master
----LICENSE(1KB)
----src()
--------ANF()
--------SSA()
--------Main.hs(2KB)
--------Util()
----Setup.hs(46B)
----doc()
--------convert.png(91KB)
--------sccp.png(79KB)
----README.md(1017B)
----ssa-anf.cabal(620B)