| |
ACM SIG\-PLAN Notices, Vol. 35, No. 5. (2000), pp. 95-107.
|
| |
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 1-12.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1999), pp. 192-203.
|
| |
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 '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 37, No. 11. (November 2002), pp. 211-230.
|
| |
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.
|
| |
Commun. ACM, Vol. 17, No. 10. (October 1974), pp. 549-557.
|
| |
ACM Trans. Comput. Syst., Vol. 15, No. 4. (November 1997), pp. 391-411.
|
| |
|
| |
|
| |
posted to jml by amorkan
on 2006-05-15 17:33:15
as 
|
| |
|
| |
|
| |
In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (November 2002)
|
| |
|
| |
|
| |
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.
|
| |
OOPS Messenger, Vol. 3, No. 2. (1992), pp. 11-16.
|
| |
SIGPLAN Not., Vol. 40, No. 6. (June 2005), pp. 62-72.
|
| |
In Proceedings of the 13th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-98), Vol. 33:10 (October 1998), pp. 48-64.
|
| |
|
| |
|
| |
Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on (2005), pp. 86-95.
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 1419 (1998), pp. 61-??.
|
| |
In Logic in Computer Science (1998), pp. 93-104.
|
| |
In Proceedings of the 1998 ACM {SIGPLAN} Conference on Prgramming Language Design and Implementation ({PLDI}) (1998), pp. 333-344.
|
| |
In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996. Seattle, {WA} (1996), pp. 229-243.
|
| |
|
| |
|
Search
