1. Bolz, C.F., Cuni, A., Fijalkowski, M., Rigo, A.: Tracing the meta-level: Pypy’s tracing JIT compiler. In: Proceedings of the 4th ICOOOLPS Workshop (2009)
2. Chang, M., Bebenita, M., Yermolovich, A., Gal, A., Franz, M.: Efficient just-in-time execution of dynamically typed languages via code specialization using precise runtime type inference. Technical report ICS-TR-07-10, University of Irvine, Department of Computer Science (2007)
3. Chang, M., Smith, E., Reitmaier, R., Bebenita, M., Gal, A., Wimmer, C., Eich, B., Franz, M.: Tracing for web 3.0: trace compilation for the next generation web applications. In: Proceedings of the 2009 ACM SIGPLAN/SIGOPS International VEE Conference (2009)
4. Corporation, N.: Constant folding.
http://www.compileroptimizations.com/category/constant_folding.htm
. Accessed 24 May 2016
5. Felleisen, M., Friedman, D.P.: Control Operators, the SECD-machine, and the
$$\lambda $$
-calculus. Indiana University, Computer Science Department (1986)