Loops in combinator-based compilers
暂无分享,去创建一个
[1] Ravi Sethi,et al. Control Flow Aspects of Semantics-Directed Compiling , 1983, TOPL.
[2] Philip A. Collier,et al. From standard to implementation denotational semantics , 1980, Semantics-Directed Compiler Generation.
[3] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[4] James W. Thatcher,et al. More on Advice on Structuring Compilers and Proving them Correct , 1979, Theor. Comput. Sci..
[5] Ravi Sethi,et al. Circular Expressions: Elimination of Static Environments , 1981, Sci. Comput. Program..
[6] Mitchell Wand. Semantics-directed machine architecture , 1982, POPL '82.
[7] Mitchell Wand,et al. Deriving Target Code as a Representation of Continuation Semantics , 1982, TOPL.
[8] D. A. Turner,et al. A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..
[9] Ravi Sethi,et al. Control flow aspects of semantics directed compiling (Summary) , 1982, SIGPLAN '82.
[10] Christopher Strachey,et al. A theory of programming language semantics , 1976 .