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.