最近因为可能要用所以在看两篇Hoopl的文章
Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation
Hoopl: Dataflow Optimization Made Simple
By Norman Ramsey, Joao Dias, Simon Peyton Jones
原创
2011-03-06 09:04:53
682阅读
Hoopl:
Higher-order optimization library
package:
http://hackage.haskell.org/package/hoopl
Related paper:
Hoopl: Dataflow Optimization Made Simple
Hoopl: A Modular, Reusable Library for Da
原创
2011-03-28 22:27:03
836阅读
My thesis work is mainly involved using hoopl as back end of a DSL. I am going to first define a concrete intermediate language for the abstract syntax tree then use hoopl to generate code in other
原创
2011-03-26 02:21:37
443阅读
今天见到了久违的supervisor……
首先是程序正确性的证明问题，如何证明我生成的hoopl representation是正确的。这个问题很复杂，老大说暂时不要纠结。的确，编译类的程序的正确性证明比较麻烦，估计要是真的能做出来东西以后才会考虑。
关于生成变量的变量名与原有变量名冲突问题，现在我的处理方法是统一前缀"prefix_"，新生成变
原创
2011-08-16 03:06:55
709阅读
