Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 366-??.
Lecture Notes in Computer Science, Vol. 2071 (2001), pp. 177-??.
BMC Cancer, Vol. 6 (10 October 2006), 244.
Vol. 40, No. 6. (June 2005), pp. 73-84.
(1998), pp. 122-138.
SIGPLAN Not., Vol. 24, No. 10. (October 1989), pp. 49-70.
(19 November 2004)
No. NOTTCS-TR-96-3. (November 1996)
(2005), pp. 74-85.
Vol. 40, No. 6. (June 2005), pp. 96-106.
SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 27-40.
(1999), pp. 29-42.
(1996), pp. 371-386.
posted to
pi type by
suer
on 2007-07-24 17:33:05
as
(September 2006)
(2006), pp. 17-26.
Information and Software Technology, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025.
Electronic Notes in Theoretical Computer Science, Vol. 174, No. 7. (4 June 2007), pp. 129-147.
Electronic Notes in Theoretical Computer Science, Vol. 174, No. 7. (4 June 2007), pp. 79-104.
(2004), pp. 96-107.
Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375.
Programming Languages and Systems (2008), pp. 16-31.
(2006), pp. 50-61.
IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964.
ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (March 2005), pp. 264-313.
(1982), pp. 207-212.
Verification, Model Checking, and Abstract Interpretation (2006), pp. 298-312.
Programming Languages and Systems (2007), pp. 490-504.
ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2003), pp. 128-141.
(2002)
(1996), pp. 3-12.
(1997)
ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138.
(1996)
Information and Computation, Vol. 173, No. 1. (25 February 2002), pp. 82-120.
(2003), pp. 103-138.
Yeast, Vol. 11, No. 1. (January 1995), pp. 53-55.
No. \#7866. (July 1993)
Science of Computer Programming, Vol. 8, No. 2. (1987), pp. 147-172.
ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523.
(27 July 2001)
(2002)
Formal Aspects of Computing, Vol. 6, No. 4. (1994), pp. 440-465.
(01 December 1998)
(1997)
(1995)
(1999), pp. 147-160.
(1987), pp. 194-204.