| |
ACM SIG\-PLAN Notices, Vol. 34, No. 10. (1999), pp. 187-206.
|
| |
In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 129-142.
|
| |
Concurrency and Computation: Practice and Experience, Vol. 16, No. 7. (27 April 2004), pp. 671-687.
|
| |
No. MIT-CSAILTR-949. (May 2004)
|
| |
|
| |
In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 262-272.
|
| |
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 313-323.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 344-358.
|
| |
Information and Computation (1997)
|
| |
In Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 37, No. 11. (November 2002), pp. 1-12.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 70-80.
|
| |
|
| |
ACM Sigplan Notices, Vol. 27, No. 3. (March 1992), pp. 66-70.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 210-219.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 258-268.
|
| |
ACM SIG\-PLAN Notices, Vol. 36, No. 7. (2001), pp. 12-23.
|
| |
|
| |
In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 442-451.
|
| |
In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 54-61.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 70-80.
|
| |
|
| |
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 141-152.
|
| |
|
| |
ACM SIG\-PLAN Notices, Vol. 35, No. 5. (2000), pp. 264-273.
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 313-324.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 324-337.
|
| |
|