A Family of Intermediate Forms1
暂无分享,去创建一个
A good programmer attempts to minimize architecture specific detail when writing a sequential implementation of an algorithm. Such good programming practice makes it possible to transport the implementation to other hardware architectures and thus minimize programmer effort. Indeed, high-level programming languages attempt to hide the detail required by particular machine architectures and thus make it easier to construct programs and transport them.
[1] James M. Boyle,et al. TRANSFORMATIONAL COMPONENT FOR PROGRAMMING LANGUAGE GRAMMAR. , 1970 .
[2] T. J. Harmer,et al. Functional specifications for mathematical computations , 1991 .
[3] Ake Wikstrom,et al. Functional programming using standard ML , 1987 .
[4] A. Church. The calculi of lambda-conversion , 1941 .