Automatic generation of parallel compiler-partial evaluation of parallel lambda language
暂无分享,去创建一个
[1] Anders Bondorf,et al. Automatic Autoprojection of Higher Order Recursive Equations , 1990, Sci. Comput. Program..
[2] Valentin F. Turchin,et al. The Use of Metasystem Transition in Theorem Proving and Program Optimization , 1980, ICALP.
[3] Anders Bondorf,et al. A self-applicable partial evaluator for the lambda calculus , 1990, Proceedings. 1990 International Conference on Computer Languages.
[4] Peter Sestoft,et al. An experiment in partial evaluation: the generation of a compiler generator , 1985, SIGP.
[5] Neil D. Jones,et al. A partial evaluator for the untyped lambda-calculus , 1991, Journal of Functional Programming.
[6] Robin Milner. Functions as Processes , 1990, ICALP.
[7] Andrei P. Ershov,et al. On the Essence of Compilation , 1977, Formal Description of Programming Concepts.
[8] Yoshihiko Futamura,et al. Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler , 1999, High. Order Symb. Comput..
[9] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[10] Peter Sestoft,et al. An experiment in partial evaluation: the generation of a compiler generator , 1985, SIGP.