References

Aho et al·, 1989

Aho A.V., Ganapathi M., &Tjiang S.W.K., Code Generation Using Tree Matching and Dynamic Programming, ACM Transaction on Programming Languages and Systems, Vol. 11, No. 4, October 1989.

Cousot &Cousot, 1977

Cousot P. &Cousot R., Abstract Interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, proceedings of the 4th ACM Symposium on Principles of Programming Languages, ACM, New York, pp269-282.

Goldberg &Robson, 1985

Goldberg A. &Robson D., Smalltalk-80, The Language and its Implementation, Addison-Wesley, 1985.

Kranz et al, 1986

Kranz D., Kelsey R., Rees J., Hudak P., Philbin J. &Adams N., ORBIT: An Optimising Compiler for Scheme, proceedings of the SIGPLAN '86 Symposium on Compiler Construction, also published as SIGPLAN Notices, Vol 21, No. 7, July 1986.

Landin, 1964

Landin P.J., The mechanical evaluation of expressions, Computer Journal, Vol 6., pp308-320.

Smith, 1984

Smith B.C., Reflection and Semantics in Lisp, proceedings of 11th Annual Symposium on Principles of Programming Languages, ACM, New York, 1984.

Steele, 1978

Steele G.L.Jr., RABBIT: A Compiler for Scheme, MIT AI-TR-474, Massachussetts Institute of Technology, 1978.