【文件属性】：
文件名称：ssa-anf:SSA和ANF
文件大小：176KB
文件格式：ZIP
更新时间：2021-05-20 16:25:11
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)