论文信息 - From interpreter to compiler: a representational derivation - 字舞流文

From interpreter to compiler: a representational derivation

[1] William D. Clinger. The scheme 311 compiler an exercise in denotational semantics , 1984, LFP '84.

[2] Mitchell Wand. Loops in combinator-based compilers , 1983, POPL '83.

[3] Mitchell Wand. Semantics-directed machine architecture , 1982, POPL '82.

[4] Mitchell Wand,et al. Deriving Target Code as a Representation of Continuation Semantics , 1982, TOPL.

[5] John C. Reynolds,et al. Definitional Interpreters for Higher-Order Programming Languages , 1972, ACM '72.

[6] John McCarthy,et al. Towards a Mathematical Science of Computation , 1962, IFIP Congress.

[7] Mitchell Wand,et al. Continuation-Based Program Transformation Strategies , 1980, JACM.