| |
In Proceedings of the 13th Working Conference on Reverse Engineering (2006)
|
| |
In ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis (2000), pp. 14-25.
|
| |
Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802.
|
| |
|
| |
In OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 32, No. 10. (October 1997), pp. 108-124.
|
| |
In 2nd International Symposium on Programming (April 1976), pp. 106-130.
|
| |
|
| |
|
| |
|
| |
In Proc. Second International Conference, DIMVA 2005 (2005)
|
| |
In Computational Complexity (2000), pp. 1-17.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 35-46.
|
| |
|
| |
|
| |
In 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01) (2001)
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 242-256.
|
| |
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 13, No. 4. (October 1991), pp. 451-490.
|
| |
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 21, No. 2. (1999), pp. 175-188.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 18, No. 6. (November 1996), pp. 649-658.
|
| |
In STOC '73: Proceedings of the fifth annual ACM symposium on Theory of computing (1973), pp. 96-107.
|
| |
In STOC '72: Proceedings of the fourth annual ACM symposium on Theory of computing (1972), pp. 238-250.
|
| |
Software Practice and Experience, No. 4. (2001), pp. 1-10.
|
| |
ACM Letters on Programming Languages and Systems, Vol. 1, No. 4. (December 1992), pp. 323-337.
|
| |
SIAM J. Comput., Vol. 3, No. 1. (March 1974)
|
| |
SIAM J. Comput., Vol. 1, No. 2.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 1, No. 1. (July 1979), pp. 121-141.
|
| |
In Third IEEE International Workshop on Source Code Analysis and Manipulation (2003)
|
| |
ACM Trans. Program. Lang. Syst., Vol. 9, No. 3. (July 1987), pp. 319-349.
|
| |
In Proceedings of the~5th~International Conference on Software Engineering (1981), pp. 439-449.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 12, No. 1. (January 1990), pp. 26-60.
|
| |
|
| |
Commun. ACM, Vol. 19, No. 7. (July 1976), pp. 385-394.
|
| |
|
| |
|
| |
In ICSM (1998), pp. 228-237.
|
| |
|
| |
In Symposium on Principles of Programming Languages (1998), pp. 12-24.
|
| |
In PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, Vol. 31, No. 1. (January 2005), pp. 88-95.
|
| |
SIGPLAN Not., Vol. 35, No. 5. (May 2000), pp. 70-82.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 23, No. 6. (November 2001), pp. 685-746.
|
| |
In Conference on Object-Oriented (1997), pp. 108-124.
|
| |
In SAS '95: Proceedings of the Second International Symposium on Static Analysis (1995), pp. 314-329.
|
| |
In ILPS '97: Proceedings of the 1997 international symposium on Logic programming (1997), pp. 5-19.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 228-241.
|
