-
1
-
-
0004072686
-
-
Addison-Wesley
-
A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
-
(1986)
Compilers: Principles, Techniques, and Tools
-
-
Aho, A.V.1
Sethi, R.2
Ullman, J.D.3
-
2
-
-
0038716509
-
Checking and inferring local non-aliasing
-
A. Aiken, J. S. Foster, J. Kodumal, and T. Terauchi. Checking and inferring local non-aliasing. In Proceedings of the ACM SIGPLAN 2003 Conference, on Programming Language Design and Implementation (PLDI'03), pages 129-140, 2003.
-
(2003)
Proceedings of the ACM SIGPLAN 2003 Conference, on Programming Language Design and Implementation (PLDI'03)
, pp. 129-140
-
-
Aiken, A.1
Foster, J.S.2
Kodumal, J.3
Terauchi, T.4
-
7
-
-
0033688092
-
A static analyzer for finding dynamic programming errors
-
W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for finding dynamic programming errors. Software - Practice and Experience, 30(7):775-802, 2000.
-
(2000)
Software - Practice and Experience
, vol.30
, Issue.7
, pp. 775-802
-
-
Bush, W.R.1
Pincus, J.D.2
Sielaff, D.J.3
-
13
-
-
33644573322
-
Path sensitive value flow analysis on large programs
-
Microsoft Research
-
N. Dor, S. Adams, M. Das, and Z. Yang. Path sensitive value flow analysis on large programs. Technical Report MSR-TR-2003-58, Microsoft Research, 2003.
-
(2003)
Technical Report
, vol.MSR-TR-2003-58
-
-
Dor, N.1
Adams, S.2
Das, M.3
Yang, Z.4
-
14
-
-
0036036098
-
Extended static checking for Java
-
C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended Static Checking for Java. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 2002.
-
(2002)
Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation
-
-
Flanagan, C.1
Leino, K.R.M.2
Lillibridge, M.3
Nelson, G.4
Saxe, J.B.5
Stata, R.6
-
17
-
-
0036039794
-
A system and language for building system-specific, static analyses
-
S. Hellem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 2002.
-
(2002)
Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation
-
-
Hellem, S.1
Chelf, B.2
Xie, Y.3
Engler, D.4
-
20
-
-
0035153588
-
Evaluating the effectiveness of pointer alias analyses
-
Jan.
-
M. Hind and A. Pioli. Evaluating the effectiveness of pointer alias analyses. Science of Computer Programming, 39(1):31-55, Jan. 2001.
-
(2001)
Science of Computer Programming
, vol.39
, Issue.1
, pp. 31-55
-
-
Hind, M.1
Pioli, A.2
-
21
-
-
0025228221
-
Interprocedural slicing using dependence graphs
-
January
-
S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst., 12(1):26-60, January 1990.
-
(1990)
ACM Trans. Program. Lang. Syst.
, vol.12
, Issue.1
, pp. 26-60
-
-
Horwitz, S.1
Reps, T.2
Binkley, D.3
-
23
-
-
0028510748
-
A generalised theory of bit vector data flow analysis
-
U. P. Khedkar and D. M. Dhamdhere. A generalised theory of bit vector data flow analysis. ACM Trans. Program. Lang. Syst., 16(5):1472-1511, 1994.
-
(1994)
ACM Trans. Program. Lang. Syst.
, vol.16
, Issue.5
, pp. 1472-1511
-
-
Khedkar, U.P.1
Dhamdhere, D.M.2
-
24
-
-
1542691474
-
Efficient and optimal bit-vector dataflow analyses: A uniform interprocedural framework
-
Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany
-
J. Knoop and B. Steffen. Efficient and optimal bit-vector dataflow analyses: A uniform interprocedural framework. Technical Report Bericht Nr. 9309, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, 1993.
-
(1993)
Technical Report Bericht Nr. 9309
, vol.9309
-
-
Knoop, J.1
Steffen, B.2
|