| |
|
| |
In Conference Record of POPL '95: 22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages (1995), pp. 209-220.
|
| |
|
| |
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2004), pp. 206-223.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2004), pp. 256-267.
|
| |
ACM SIG\-PLAN Notices, Vol. 36, No. 7. (2001), pp. 12-23.
|
| |
Commun. ACM, Vol. 18, No. 12. (December 1975), pp. 717-721.
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation (2003), pp. 13-25.
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation (2003), pp. 1-12.
|
| |
In ESOP '99: Proceedings of the 8th European Symposium on Programming Languages and Systems (1999), pp. 91-108.
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 442-452.
|
| |
|
| |
In OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (1999), pp. 1-19.
|
| |
In OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (2001), pp. 70-82.
|
| |
In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 90-96.
|
| |
ACM SIG\-PLAN Notices, Vol. 35, No. 5. (2000), pp. 219-232.
|
| |
In OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (2001), pp. 56-69.
|
| |
Lecture Notes in Computer Science In Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation, Vol. 2937 (January 2004), pp. 149-160.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation (2003), pp. 338-349.
|
| |
ACM Trans. Comput. Syst., Vol. 15, No. 4. (November 1997), pp. 391-411.
|
| |
In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 14-24.
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60.
|
| |
ACM Comput. Surv., Vol. 15, No. 1. (March 1983), pp. 3-43.
|
