ACM Trans. Program. Lang. Syst., Vol. 26, No. 5. (September 2004), pp. 769-804.
(1998), pp. 291-300.
(2005), pp. 10-20.
Science of Computer Programming, Vol. 57, No. 3. (September 2005), pp. 339-356.
(04 December 2003)
(13 December 1997)
(02 October 1992)
(01 January 1986)
(93)
(2005), pp. 84-88.
(2001), pp. 1-10.
J. Funct. Program., Vol. 13, No. 3. (May 2003), pp. 455-481.
(2000), pp. 88-99.
Vol. 39, No. 9. (September 2004), pp. 201-212.
ACM Trans. Program. Lang. Syst., Vol. 25, No. 4. (July 2003), pp. 452-499.
ACM Trans. Program. Lang. Syst., Vol. 17, No. 2. (March 1995), pp. 181-196.
(2002), pp. 263-277.
ACM Trans. Program. Lang. Syst., Vol. 13, No. 2. (April 1991), pp. 181-210.
Vol. 37, No. 1. (January 2002), pp. 270-282.
(2004)
Vol. 40, No. 1. (January 2005), pp. 364-377.
(1979), pp. 269-282.
Vol. 38, No. 5. (May 2003), pp. 220-231.
IEEE Transactions on Computers, Vol. 48, No. 2. (1999), pp. 159-167.
(August 1993), pp. 253-272.
(August 1994), pp. 92-106.
Vol. 2 (1990), pp. 179-186.
IEEE Trans. Parallel Distrib. Syst., Vol. 8, No. 2. (February 1997), pp. 193-209.
IEEE Trans. Parallel Distrib. Syst., Vol. 2, No. 4. (October 1991), pp. 452-471.
No. Computing Science Note 93/43. (May 1994)
(2004), pp. 171-182.
(2002), pp. 56-64.
(2006), pp. 43-53.
(2006), pp. 64-71.
(2005), pp. 114-123.
ACM Trans. Archit. Code Optim., Vol. 2, No. 2. (June 2005), pp. 165-198.
(2002)
Vol. 35, No. 1. (January 1999), pp. 81-94.
(2002)
(1999), pp. 109-122.
(17 December 2004)
(1994), pp. 11-31.
(2004), pp. 15-26.
(22 August 2004)
Vol. 37, No. 11. (November 2002), pp. 1-12.
Lecture Notes in Computer Science, Vol. 2031 (2001)
ACM Letters on Programming Languages and Systems, Vol. 1, No. 3. (September 1992), pp. 213-226.
(1999)