SIAM Journal on Computing, Vol. 1, No. 2. (1972), pp. 180-187.
Vol. 17, No. 6. (June 1982), pp. 98-101.
ACM Trans. Program. Lang. Syst., Vol. 18, No. 3. (May 1996), pp. 300-324.
ACM Trans. Program. Lang. Syst., Vol. 26, No. 4. (July 2004), pp. 735-765.
ACM Trans. Program. Lang. Syst., Vol. 13, No. 4. (October 1991), pp. 451-490.
ACM Trans. Program. Lang. Syst., Vol. 16, No. 3. (May 1994), pp. 428-455.
SIGPLAN Not., Vol. 19, No. 6. (June 1984), pp. 222-232.
ACM Trans. Program. Lang. Syst., Vol. 12, No. 4. (October 1990), pp. 501-536.
(2006), pp. 15-15.
(1986), pp. 372-379.
Code Generation and Optimization, 2004. CGO 2004. International Symposium on (2004), pp. 75-86.
(1998), pp. 297-307.
Foundations of Software Science and Computation Structures (2006), pp. 79-93.
Electronic Notes in Theoretical Computer Science, Vol. 141, No. 2. (7 December 2005), pp. 85-102.
Software and Compilers for Embedded Systems (2003), pp. 49-65.
Languages and Compilers for Parallel Computing (2007), pp. 283-298.
Information Processing Letters, Vol. 98, No. 4. (31 May 2006), pp. 150-155.
Programming Languages and Systems (2005), pp. 315-329.
SIGPLAN Not., Vol. 34, No. 5. (May 1999), pp. 204-214.
Compiler Construction (2006), pp. 247-262.
SIGPLAN Not., Vol. 42, No. 7. (July 2007), pp. 103-112.
(2008), pp. 45-54.
(2008), pp. 35-44.
SIGPLAN Not., Vol. 37, No. 7. (July 2002), pp. 56-64.
(2007), pp. 666-672.
Computer Science – Theory and Applications (2006), pp. 641-651.
by Shengning
Wu, Sikun
Li
(2002)
Software and Compilers for Embedded Systems (2003), pp. 33-48.
(2005), pp. 30-42.
Trans. on Embedded Computing Sys., Vol. 4, No. 1. (February 2005), pp. 3-37.
Software and Compilers for Embedded Systems (2004), pp. 244-258.
(2003), pp. 12-23.
Trans. on Embedded Computing Sys., Vol. 6, No. 2. (May 2007)
Commun. ACM, Vol. 46, No. 8. (August 2003), pp. 47-52.
Softw. Pract. Exper., Vol. 28, No. 8. (July 1998), pp. 859-881.
(Feb 2008)
(2003), pp. 92-101.
Vol. 21, No. 2. (May 1993), pp. 289-300.
(1995), pp. 204-213.
(2006), pp. 144-153.
(2006), pp. 26-37.
Vol. 31, No. 2. (May 2003), pp. 434-446.
(2006), pp. 65-75.
OSDI '04, pp. 137-150.