| |
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 387-400.
|
| |
SIGPLAN Not., Vol. 35, No. 5. (May 2000), pp. 57-69.
|
| |
In ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 25, No. 5. (September 2000), pp. 113-123.
|
| |
ACM Lett. Program. Lang. Syst., Vol. 1, No. 4. (December 1992), pp. 323-337.
|
| |
|
| |
In PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 38, No. 10. (October 2003), pp. 55-65.
|
| |
|
| |
In TAPSOFT (1997), pp. 381-392.
|
| |
|
| |
In PASTE '07: Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2007), pp. 25-30.
|
| |
In DAC '05: Proceedings of the 42nd annual conference on Design automation (2005), pp. 831-836.
|
| |
In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 290-299.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 27, No. 6. (November 2002), pp. 61-70.
|
| |
SIGPLAN Notices In Proceedings of the Conference on Programming Language Design and Implementation (PLDI), Vol. 27, No. 7. (1992), pp. 249-260.
|
| |
In Static Analysis Symposium (1998), pp. 57-81.
|
| |
|
| |
In 8th International Parallel Processing Symposium (1994), pp. 208-216.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1995), 1.
|
| |
In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 49-59.
|
| |
Lecture Notes in Computer Science, Vol. 1302 (1997), pp. 16-??.
|
| |
In Logic in Computer Science (1997), pp. 342-351.
|
| |
|
| |
: Static Analysis (2004), pp. 165-180.
|
| |
In OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (1999), pp. 187-206.
|
| |
In C++ Conference (1994), pp. 85-98.
|
| |
: Compiler Construction: 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings (2003), pp. 153-169.
|
| |
In Computational Complexity (1996), pp. 136-150.
|
| |
|
| |
In POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1979), pp. 29-41.
|
| |
In OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, Vol. 36, No. 11. (November 2001), pp. 43-55.
|
| |
In ICS '00: Proceedings of the 14th international conference on Supercomputing (2000), pp. 1-10.
|
| |
In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation (1998), pp. 106-117.
|
| |
SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 217-228.
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 12-24.
|
| |
In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 93-103.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 242-256.
|
| |
In PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation (1990), pp. 296-310.
|
