IEEE Transactions on Software Engineering, Vol. 18, No. 3. (1992), pp. 190-205.
SIGPLAN Not., Vol. 40, No. 6. (June 2005), pp. 269-279.
posted to
tls by
yang
on 2007-11-04 23:04:48
as
Science of Computer Programming, Vol. 32, No. 1--3. (1998), pp. 3-47.
ACM Trans. Database Syst., Vol. 6, No. 2. (June 1981), pp. 213-226.
(2000), pp. 36-43.
(1987), pp. 307-312.
(2004)
(2004), pp. 367-378.
(2003)
(1998), pp. 249-257.
posted to
types by
yang
on 2007-04-28 08:18:22
as
(2002), pp. 143-158.
(1992), pp. 223-234.
SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 39-46.
Fundam. Inf., Vol. 69, No. 1-2. (2006), pp. 123-178.
ACM Comput. Surv., Vol. 21, No. 4. (December 1989), pp. 593-622.
(1988), pp. 145-153.
(1998)
Vol. 37, No. 10. (October 2002), pp. 304-316.
SIGPLAN Notices, Vol. 25, No. 5. (1990), pp. 17-24.
(2003), pp. 640-651.
(2003)
(2005), pp. 105-115.
Vol. 19 (1985), pp. 199-204.
SIGOPS Oper. Syst. Rev., Vol. 13, No. 2. (April 1979), pp. 3-19.
(2003)
(2002)
Vol. 40, No. 6. (June 2005), pp. 48-61.
(April 2006)
(2002)
(2004), pp. 259-268.
(2002), pp. 251-260.
(2006), pp. 43-50.
(2006)
Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
(2004), pp. 78-87.
Commun. ACM, Vol. 22, No. 11. (November 1979), pp. 612-613.
Vol. 35(10) (2000), pp. 130-145.
Vol. 34(10) (1999), pp. 132-146.
(2004), pp. 15-26.