-
1
-
-
0011560546
-
The transitive reduction of a directed graph
-
Aho, A.V., Garey, M.R., and Ullman, J.D. 1972. The transitive reduction of a directed graph, SIAM Journal on Computing 1(2): 131-137.
-
(1972)
SIAM Journal on Computing
, vol.1
, Issue.2
, pp. 131-137
-
-
Aho, A.V.1
Garey, M.R.2
Ullman, J.D.3
-
2
-
-
84965037759
-
Set constraints: Results, applications, and future directions
-
Lecture Notes in Computer Science. Springer
-
Aiken, A. 1994. Set constraints: Results, applications, and future directions, Proceedings of the Workshop on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, Vol. 874, pp. 326-335. Springer.
-
(1994)
Proceedings of the Workshop on Principles and Practice of Constraint Programming
, vol.874
, pp. 326-335
-
-
Aiken, A.1
-
3
-
-
0033226029
-
Introduction to set constraint-based program analysis
-
Aiken, A. 1999. Introduction to set constraint-based program analysis, Science of Computer Programming 35(2-3): 79-111.
-
(1999)
Science of Computer Programming
, vol.35
, Issue.2-3
, pp. 79-111
-
-
Aiken, A.1
-
5
-
-
33646178489
-
MOCHA: Modularity in model checking
-
Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., and Tasiran, S. 1998. MOCHA: Modularity in model checking, Proceedings of the Conference on Computer Aided Verification, pp. 521-525.
-
(1998)
Proceedings of the Conference on Computer Aided Verification
, pp. 521-525
-
-
Alur, R.1
Henzinger, T.A.2
Mang, F.Y.C.3
Qadeer, S.4
Rajamani, S.K.5
Tasiran, S.6
-
7
-
-
84980009359
-
Slicing programs with arbitrary control-flow
-
Lecture Notes in Computer Science. Springer
-
Ball, T. and Horwitz, S. 1993. Slicing programs with arbitrary control-flow, Proceedings of the Workshop on Automated and Algorithmic Debugging, Lecture Notes in Computer Science, Vol. 749, pp. 206-222. Springer.
-
(1993)
Proceedings of the Workshop on Automated and Algorithmic Debugging
, vol.749
, pp. 206-222
-
-
Ball, T.1
Horwitz, S.2
-
8
-
-
0032301276
-
The application of program slicing to regression testing
-
Binkley, D. 1998. The application of program slicing to regression testing, Information and Software Technology 40(11-12): 583-594.
-
(1998)
Information and Software Technology
, vol.40
, Issue.11-12
, pp. 583-594
-
-
Binkley, D.1
-
9
-
-
84887962732
-
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
-
Lecture Notes in Computer Science. Springer
-
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., and Rival, X. 2002. Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software, The Essence of Computation: Complexity, Analysis, Transformation, Lecture Notes in Computer Science, Vol. 2566, pp. 85-108. Springer.
-
(2002)
The Essence of Computation: Complexity, Analysis, Transformation
, vol.2566
, pp. 85-108
-
-
Blanchet, B.1
Cousot, P.2
Cousot, R.3
Feret, J.4
Mauborgne, L.5
Miné, A.6
Monniaux, D.7
Rival, X.8
-
10
-
-
0038039865
-
A static analyzer for large safety-critical software
-
ACM Press
-
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., and Rival, X. 2003. A static analyzer for large safety-critical software, Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 196-207. ACM Press.
-
(2003)
Proceedings of the ACM Conference on Programming Language Design and Implementation
, pp. 196-207
-
-
Blanchet, B.1
Cousot, P.2
Cousot, R.3
Feret, J.4
Mauborgne, L.5
Miné, A.6
Monniaux, D.7
Rival, X.8
-
11
-
-
0027833830
-
Abstract debugging of higher-order imperative languages
-
Bourdoncle, F. 1993a. Abstract debugging of higher-order imperative languages, ACM SIGPLAN Notices 28(6): 46-55.
-
(1993)
ACM SIGPLAN Notices
, vol.28
, Issue.6
, pp. 46-55
-
-
Bourdoncle, F.1
-
13
-
-
0003657047
-
Interprocedural pointer alias analysis
-
IBM Research
-
Burke, M., Carini, P.R., Choi, J.-D., and Hind, M. 1997. Interprocedural pointer alias analysis, Technical Report RC 21055, IBM Research.
-
(1997)
Technical Report
, vol.RC 21055
-
-
Burke, M.1
Carini, P.R.2
Choi, J.-D.3
Hind, M.4
-
15
-
-
0032661202
-
Relevant context inference
-
ACM Press
-
Chatterjee, R., Ryder, B.G., and Landi, W.A. 1999. Relevant context inference, Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 133-146. ACM Press.
-
(1999)
Proceedings of the ACM Symposium on Principles of Programming Languages
, pp. 133-146
-
-
Chatterjee, R.1
Ryder, B.G.2
Landi, W.A.3
-
17
-
-
84957691833
-
Incremental computation of static single assignment form
-
Lecture Notes in Computer Science. Springer
-
Choi, J.-D., Sarkar, V., and Schonberg, E. 1996. Incremental computation of static single assignment form, Proceedings of the Conference on Compiler Construction, Lecture Notes in Computer Science, Vol. 1060, pp. 223-237. Springer.
-
(1996)
Proceedings of the Conference on Compiler Construction
, vol.1060
, pp. 223-237
-
-
Choi, J.-D.1
Sarkar, V.2
Schonberg, E.3
-
18
-
-
84957700098
-
Effective representation of aliases and indirect memory operations in SSA form
-
Lecture Notes in Computer Science. Springer
-
Chow, F.C., Chan, S., Liu, S.-M., Lo, R., and Streich, M. 1996. Effective representation of aliases and indirect memory operations in SSA form, Proceedings of the Conference on Compiler Construction, Lecture Notes in Computer Science, Vol. 1060, pp. 253-267. Springer.
-
(1996)
Proceedings of the Conference on Compiler Construction
, vol.1060
, pp. 253-267
-
-
Chow, F.C.1
Chan, S.2
Liu, S.-M.3
Lo, R.4
Streich, M.5
-
19
-
-
0024866680
-
An efficient method of computing static single assignment form
-
ACM Press
-
Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.K., and Zadeck, F.K. 1989. An efficient method of computing static single assignment form, Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 25-35. ACM Press.
-
(1989)
Proceedings of the ACM Symposium on Principles of Programming Languages
, pp. 25-35
-
-
Cytron, R.1
Ferrante, J.2
Rosen, B.K.3
Wegman, M.K.4
Zadeck, F.K.5
-
20
-
-
0026243790
-
Efficiently computing static single assignment form and the control dependence graph
-
Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., and Zadeck, F.K. 1991. Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems 13(4): 451-490.
-
(1991)
ACM Transactions on Programming Languages and Systems
, vol.13
, Issue.4
, pp. 451-490
-
-
Cytron, R.1
Ferrante, J.2
Rosen, B.K.3
Wegman, M.N.4
Zadeck, F.K.5
-
22
-
-
0034512762
-
ConSIT: A conditioned program slicer
-
IEEE Computer Society Press
-
Danicic, S., Fox, C., Harman, M., and Hierons, R. 2000. ConSIT: A conditioned program slicer, Proceedings of the IEEE Conference on Software Maintenance, pp. 216-226. IEEE Computer Society Press.
-
(2000)
Proceedings of the IEEE Conference on Software Maintenance
, pp. 216-226
-
-
Danicic, S.1
Fox, C.2
Harman, M.3
Hierons, R.4
-
24
-
-
84890014643
-
Estimating the impact of scalable pointer analysis on optimization
-
Lecture Notes in Computer Science. Springer
-
Das, M., Liblit, B., Fähndrich, M., and Rehof, J. 2001. Estimating the impact of scalable pointer analysis on optimization, Proceedings of the Static Analysis Symposium, Lecture Notes in Computer Science, Vol. 2126, pp. 260-278. Springer.
-
(2001)
Proceedings of the Static Analysis Symposium
, vol.2126
, pp. 260-278
-
-
Das, M.1
Liblit, B.2
Fähndrich, M.3
Rehof, J.4
-
25
-
-
0031642546
-
Type-based alias analysis
-
ACM Press
-
Diwan, A., McKinley, K.S., and Moss, J.E.B. 1998. Type-based alias analysis, Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 106-117. ACM Press.
-
(1998)
Proceedings of the ACM Conference on Programming Language Design and Implementation
, pp. 106-117
-
-
Diwan, A.1
McKinley, K.S.2
Moss, J.E.B.3
-
26
-
-
0037702242
-
CSSV: Towards a realistic tool for statically detecting all buffer overflows in C
-
ACM Press
-
Dor, N., Rodeh, M., and Sagiv, M. 2003. CSSV: Towards a realistic tool for statically detecting all buffer overflows in C, Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 155-167. ACM Press.
-
(2003)
Proceedings of the ACM Conference on Programming Language Design and Implementation
, pp. 155-167
-
-
Dor, N.1
Rodeh, M.2
Sagiv, M.3
-
28
-
-
0027961597
-
Context-sensitive interprocedural points-to analysis in the presence of function pointers
-
ACM Press
-
Emami, M., Ghiya, R., and Hendren, L.J. 1994. Context-sensitive interprocedural points-to analysis in the presence of function pointers, Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 242-256. ACM Press.
-
(1994)
Proceedings of the ACM Conference on Programming Language Design and Implementation
, pp. 242-256
-
-
Emami, M.1
Ghiya, R.2
Hendren, L.J.3
-
29
-
-
0031630370
-
Partial online cycle elimination in inclusion constraint graphs
-
ACM Press
-
Fähndrich, M., Foster, J.S., Su, Z., and Aiken, A. 1998. Partial online cycle elimination in inclusion constraint graphs, Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 85-96. ACM Press.
-
(1998)
Proceedings of the ACM Conference on Programming Language Design and Implementation
, pp. 85-96
-
-
Fähndrich, M.1
Foster, J.S.2
Su, Z.3
Aiken, A.4
-
30
-
-
0034448101
-
Scalable context-sensitive flow analysis using instantiation constraints
-
ACM Press
-
Fähndrich, M., Rehof, J., and Das, M. 2000. Scalable context-sensitive flow analysis using instantiation constraints, Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 253-263. ACM Press.
-
(2000)
Proceedings of the ACM Conference on Programming Language Design and Implementation
, pp. 253-263
-
-
Fähndrich, M.1
Rehof, J.2
Das, M.3
-
31
-
-
84957649278
-
An even faster solver for general systems of equations
-
Lecture Notes in Computer Science
-
Fecht, C. and Seidl, H. 1996. An even faster solver for general systems of equations, Proceedings of the Static Analysis Symposium, Lecture Notes in Computer Science, Vol. 1145, pp. 189-204.
-
(1996)
Proceedings of the Static Analysis Symposium
, vol.1145
, pp. 189-204
-
-
Fecht, C.1
Seidl, H.2
-
32
-
-
84947755110
-
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems
-
Lecture Notes in Computer Science
-
Fecht, C. and Seidl, H. 1998. Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems, Proceedings of the European Symposium on Programming, Lecture Notes in Computer Science, Vol. 1381, pp. 90-104.
-
(1998)
Proceedings of the European Symposium on Programming
, vol.1381
, pp. 90-104
-
-
Fecht, C.1
Seidl, H.2
-
34
-
-
0036036098
-
Extended static checking for Java
-
ACM Press
-
Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., and Stata, R. 2002. Extended static checking for Java, Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 234-245. ACM Press.
-
(2002)
Proceedings of the ACM Conference on Programming Language Design and Implementation
, pp. 234-245
-
-
Flanagan, C.1
Leino, K.R.M.2
Lillibridge, M.3
Nelson, G.4
Saxe, J.B.5
Stata, R.6
-
35
-
-
0003523613
-
Flow-insensitive points-to analysis with term and set constraints
-
University of California, Berkeley
-
Foster, J.S., Fahndrich, M., and Aiken, A. 1997. Flow-insensitive points-to analysis with term and set constraints, Technical Report CSD-97-964, University of California, Berkeley.
-
(1997)
Technical Report
, vol.CSD-97-964
-
-
Foster, J.S.1
Fahndrich, M.2
Aiken, A.3
-
36
-
-
84906099970
-
Polymorphic versus monomorphic flow-insensitive points-to analysis for C
-
Foster, J.S., Fahndrich, M., and Aiken, A. 2000. Polymorphic versus monomorphic flow-insensitive points-to analysis for C, Proceedings of the Static Analysis Symposium, pp. 175-198.
-
(2000)
Proceedings of the Static Analysis Symposium
, pp. 175-198
-
-
Foster, J.S.1
Fahndrich, M.2
Aiken, A.3
-
37
-
-
84947443392
-
VeriSoft: A tool for the automatic analysis of concurrent reactive software
-
Lecture Notes in Computer Science
-
Godefroid, P. 1997. VeriSoft: A tool for the automatic analysis of concurrent reactive software, Proceedings of the Conference on Computer Aided Verification, Lecture Notes in Computer Science, Vol. 1254, pp. 476-479.
-
(1997)
Proceedings of the Conference on Computer Aided Verification
, vol.1254
, pp. 476-479
-
-
Godefroid, P.1
-
38
-
-
0041005250
-
An improved inter-procedural may-alias analysis algorithm
-
New York University
-
Goyal, D. 1999. An improved inter-procedural may-alias analysis algorithm, Technical Report 1999-777, New York University.
-
(1999)
Technical Report
, vol.1999
, Issue.777
-
-
Goyal, D.1
-
40
-
-
0041828583
-
Amorphous program slicing
-
Harman, M., Binkley, D., and Danicic, S. 2003. Amorphous program slicing, The Journal of Systems and Software 68(1): 45-64.
-
(2003)
The Journal of Systems and Software
, vol.68
, Issue.1
, pp. 45-64
-
-
Harman, M.1
Binkley, D.2
Danicic, S.3
-
44
-
-
84947423533
-
HYTECH: A model checker for hybrid systems
-
Lecture Notes in Computer Science
-
Henzinger, T.A., Ho, P.-H., and Wong-Toi, H. 1997. HYTECH: A model checker for hybrid systems, Proceedings of the Conference on Computer Aided Verification, Lecture Notes in Computer Science, Vol. 1254, pp. 460-463.
-
(1997)
Proceedings of the Conference on Computer Aided Verification
, vol.1254
, pp. 460-463
-
-
Henzinger, T.A.1
Ho, P.-H.2
Wong-Toi, H.3
-
45
-
-
35248827669
-
Software verification with blast
-
Lecture Notes in Computer Science. Springer
-
Henzinger, T.A., Jhala, R., Majumdar, R., and Sutre, G. 2003. Software verification with Blast, Proceedings of the Workshop on Model Checking Software, Lecture Notes in Computer Science, Vol. 2648, pp. 235-239. Springer.
-
(2003)
Proceedings of the Workshop on Model Checking Software
, vol.2648
, pp. 235-239
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Sutre, G.4
-
47
-
-
0000998787
-
Interprocedural pointer alias analysis
-
Hind, M., Burke, M., Carini, P., and Choi, J.-D. 1999. Interprocedural pointer alias analysis, ACM Transactions on Programming Languages and Systems 21(4): 848-894.
-
(1999)
ACM Transactions on Programming Languages and Systems
, vol.21
, Issue.4
, pp. 848-894
-
-
Hind, M.1
Burke, M.2
Carini, P.3
Choi, J.-D.4
-
51
-
-
0023454190
-
An efficient general iterative algorithm for dataflow analysis
-
Horwitz, S., Demers, A.J., and Teitelbaum, T. 1987. An efficient general iterative algorithm for dataflow analysis, Acta Informatica 24(6): 679-694.
-
(1987)
Acta Informatica
, vol.24
, Issue.6
, pp. 679-694
-
-
Horwitz, S.1
Demers, A.J.2
Teitelbaum, T.3
-
52
-
-
84956630483
-
Interprocedural slicing using dependence graphs
-
Horwitz, S., Reps, T., and Binkley, D. 1988. Interprocedural slicing using dependence graphs, ACM SIGPLAN Notices 23(7): 35-46.
-
(1988)
ACM SIGPLAN Notices
, vol.23
, Issue.7
, pp. 35-46
-
-
Horwitz, S.1
Reps, T.2
Binkley, D.3
-
53
-
-
0036040176
-
Visualization of test information to assist fault localization
-
ACM Press
-
Jones, J.A., Harrold, M.J., and Stasko, J. 2002. Visualization of test information to assist fault localization, Proceedings of the ACM Conference on Software Engineering, pp. 467-477. ACM Press.
-
(2002)
Proceedings of the ACM Conference on Software Engineering
, pp. 467-477
-
-
Jones, J.A.1
Harrold, M.J.2
Stasko, J.3
-
55
-
-
79957470514
-
Worklist management strategies
-
Microsoft Research
-
Kanamori, A. and Weise, D. 1994. Worklist management strategies, Technical Report MSR-TR-94-12, Microsoft Research.
-
(1994)
Technical Report
, vol.MSR-TR-94-12
-
-
Kanamori, A.1
Weise, D.2
-
58
-
-
84958054218
-
Extended SSA numbering: Introducing SSA properties to language with multi-level pointers
-
Lecture Notes in Computer Science. Springer
-
Lapkowski, C. and Hendren, L.J. 1998. Extended SSA numbering: Introducing SSA properties to language with multi-level pointers, Proceedings of the Conference on Compiler Construction, Lecture Notes in Computer Science, Vol. 1383, pp. 128-143. Springer.
-
(1998)
Proceedings of the Conference on Compiler Construction
, vol.1383
, pp. 128-143
-
-
Lapkowski, C.1
Hendren, L.J.2
-
59
-
-
35248842644
-
Scaling Java points-to analysis using SPARK
-
Lecture Notes in Computer Science. Springer
-
Lhoták, O. and Hendren, L.J. 2003. Scaling Java points-to analysis using SPARK, Proceedings of the Conference on Compiler Construction, Lecture Notes in Computer Science, Vol. 2622, pp. 153-169. Springer.
-
(2003)
Proceedings of the Conference on Compiler Construction
, vol.2622
, pp. 153-169
-
-
Lhoták, O.1
Hendren, L.J.2
-
60
-
-
84887498974
-
Efficient points-to analysis for whole-program analysis
-
Lecture Notes in Computer Science. Springer/ACM Press
-
Liang, D. and Harrold, M.J. 1999. Efficient points-to analysis for whole-program analysis, Proceedings of the Symposium on the Foundations of Software Engineering, Lecture Notes in Computer Science, Vol. 1687, pp. 199-215. Springer/ACM Press.
-
(1999)
Proceedings of the Symposium on the Foundations of Software Engineering
, vol.1687
, pp. 199-215
-
-
Liang, D.1
Harrold, M.J.2
-
61
-
-
84890043219
-
Efficient computation of parameterized pointer information for interprocedural analyses
-
Lecture Notes in Computer Science. Springer
-
Liang, D. and Harrold, M.J. 2001. Efficient computation of parameterized pointer information for interprocedural analyses, Proceedings of the Symposium on Static Analysis, Lecture Notes in Computer Science, Vol. 2126, pp. 279-298. Springer.
-
(2001)
Proceedings of the Symposium on Static Analysis
, vol.2126
, pp. 279-298
-
-
Liang, D.1
Harrold, M.J.2
-
62
-
-
0034823715
-
Extending and evaluating flow-insensitive and contextinsensitive points-to analyses for Java
-
ACM Press
-
Liang, D., Pennings, M., and Harrold, M.J. 2001. Extending and evaluating flow-insensitive and contextinsensitive points-to analyses for Java, Proceedings of the ACM Workshop on Program Analysis for Software Tools and Engineering, pp. 73-79. ACM Press.
-
(2001)
Proceedings of the ACM Workshop on Program Analysis for Software Tools and Engineering
, pp. 73-79
-
-
Liang, D.1
Pennings, M.2
Harrold, M.J.3
-
64
-
-
0004454557
-
Maintaining a topological order under edge insertions
-
Marchetti-Spaccamela, A., Nanni, U., and Rohnert, H. 1996. Maintaining a topological order under edge insertions, Information Processing Letters 59(1): 53-58.
-
(1996)
Information Processing Letters
, vol.59
, Issue.1
, pp. 53-58
-
-
Marchetti-Spaccamela, A.1
Nanni, U.2
Rohnert, H.3
-
65
-
-
0036986544
-
Parameterized object sensitivity for points-to and side-effect analyses for Java
-
Milanova, A., Rountev, A., and Ryder, B. 2002. Parameterized object sensitivity for points-to and side-effect analyses for Java, Proceedings of the Symposium on Software Testing and Analysis, pp. 1-11.
-
(2002)
Proceedings of the Symposium on Software Testing and Analysis
, pp. 1-11
-
-
Milanova, A.1
Rountev, A.2
Ryder, B.3
-
66
-
-
85034641974
-
Visual programming, programming by example, and program visualization: A taxonomy
-
Myers, B.A. 1986. Visual programming, programming by example, and program visualization: A taxonomy, Human Factors in Computing Systems, pp. 59-66.
-
(1986)
Human Factors in Computing Systems
, pp. 59-66
-
-
Myers, B.A.1
-
67
-
-
0003818126
-
-
Springer, 1999
-
Nielson, F., Nielson, H.R., and Hankin, C.L. 1999. Principles of Program Analysis. Springer, 1999.
-
(1999)
Principles of Program Analysis
-
-
Nielson, F.1
Nielson, H.R.2
Hankin, C.L.3
-
68
-
-
0028198016
-
On finding the strongly connected components in a directed graph
-
Nuutila, E. and Soisalon-Soininen, E. 1994. On finding the strongly connected components in a directed graph, Information Processing Letters 49(1): 9-14.
-
(1994)
Information Processing Letters
, vol.49
, Issue.1
, pp. 9-14
-
-
Nuutila, E.1
Soisalon-Soininen, E.2
-
70
-
-
35048900606
-
A dynamic algorithm for topologically sorting directed acyclic graphs
-
Lecture Notes in Computer Science. Springer
-
Pearce, D.J. and Kelly, P.H.J. 2004. A dynamic algorithm for topologically sorting directed acyclic graphs, Proceedings of the Workshop on Efficient and Experimental Algorithms, Lecture Notes in Computer Science, Vol. 3059, pp. 383-398. Springer.
-
(2004)
Proceedings of the Workshop on Efficient and Experimental Algorithms
, vol.3059
, pp. 383-398
-
-
Pearce, D.J.1
Kelly, P.H.J.2
-
71
-
-
84944327016
-
Online cycle detection and difference propagation for pointer analysis
-
IEEE Computer Society Press
-
Pearce, D.J., Kelly, P.H.J., and Hankin, C. 2003. Online cycle detection and difference propagation for pointer analysis, Proceedings of the IEEE Workshop on Source Code Analysis and Manipulation, pp. 3-12. IEEE Computer Society Press.
-
(2003)
Proceedings of the IEEE Workshop on Source Code Analysis and Manipulation
, pp. 3-12
-
-
Pearce, D.J.1
Kelly, P.H.J.2
Hankin, C.3
-
75
-
-
84957647698
-
Program specialization via program slicing
-
Lecture Notes in Computer Science. Springer
-
Reps, T. and Tumidge, T. 1996. Program specialization via program slicing, Selected Papers from the International Seminar on Partial Evaluation, Lecture Notes in Computer Science, Vol. 1110, pp. 409-429. Springer.
-
(1996)
Selected Papers from the International Seminar on Partial Evaluation
, vol.1110
, pp. 409-429
-
-
Reps, T.1
Tumidge, T.2
-
76
-
-
77950883012
-
The semantics of program slicing and program integration
-
Lecture Notes in Computer Science. Springer
-
Reps, T. and Yang, W. 1989. The semantics of program slicing and program integration, Proceedings of the Joint Conference on Theory and Practice of Software Development, Volume 2, Lecture Notes in Computer Science, Vol. 352, pp. 360-374. Springer.
-
(1989)
Proceedings of the Joint Conference on Theory and Practice of Software Development
, vol.352
, pp. 360-374
-
-
Reps, T.1
Yang, W.2
-
78
-
-
0035551919
-
Points-to analysis for Java using annotated constraints
-
ACM Press
-
Rountev, A., Milanova, A., and Ryder, B.G. 2001. Points-to analysis for Java using annotated constraints, Proceedings of the ACM Conference on Object Oriented Programming Systems, Languages and Applications, pp. 43-55. ACM Press.
-
(2001)
Proceedings of the ACM Conference on Object Oriented Programming Systems, Languages and Applications
, pp. 43-55
-
-
Rountev, A.1
Milanova, A.2
Ryder, B.G.3
-
84
-
-
0033725888
-
Projection merging: Reducing redundancies in inclusion constraint graphs
-
ACM Press
-
Su, Z., Fähndrich, M., and Aiken, A. 2000. Projection merging: Reducing redundancies in inclusion constraint graphs, Proceedings of the Symposium on Principles of Programming Languages, pp. 81-95. ACM Press.
-
(2000)
Proceedings of the Symposium on Principles of Programming Languages
, pp. 81-95
-
-
Su, Z.1
Fähndrich, M.2
Aiken, A.3
-
85
-
-
0033897041
-
Analyzing Java software by combining metrics and program visualization
-
IEEE Computer Society Press
-
Systä, T., Yu, P., and Müller, H. 2000. Analyzing Java software by combining metrics and program visualization, Proceedings of the IEEE Conference on Software Maintenance and Reengineering, pp. 199-208. IEEE Computer Society Press.
-
(2000)
Proceedings of the IEEE Conference on Software Maintenance and Reengineering
, pp. 199-208
-
-
Systä, T.1
Yu, P.2
Müller, H.3
-
86
-
-
0001790593
-
Depth-first search and linear graph algorithms
-
Tarjan, R. 1972. Depth-first search and linear graph algorithms, SIAM Journal on Computing 1(2): 146-160.
-
(1972)
SIAM Journal on Computing
, vol.1
, Issue.2
, pp. 146-160
-
-
Tarjan, R.1
-
87
-
-
84957376851
-
VIS: A system for verification and synthesis
-
Lecture Notes in Computer Science. Springer
-
The Vis Group. 1996. VIS: A system for verification and synthesis, Proceedings of the Conference on Computer Aided Verification, Lecture Notes in Computer Science, Vol. 1102, pp. 428-432. Springer.
-
(1996)
Proceedings of the Conference on Computer Aided Verification
, vol.1102
, pp. 428-432
-
-
-
88
-
-
85081874807
-
A first step towards automated detection of buffer overrun vulnerabilities
-
Wagner, D., Foster, J.S., Brewer, E.A., and Aiken, A. 2000. A first step towards automated detection of buffer overrun vulnerabilities, Proceedings of the Network and Distributed System Security Symposium, pp. 3-17.
-
(2000)
Proceedings of the Network and Distributed System Security Symposium
, pp. 3-17
-
-
Wagner, D.1
Foster, J.S.2
Brewer, E.A.3
Aiken, A.4
-
90
-
-
0032660031
-
Pointer analysis for programs with structures and casting
-
ACM Press
-
Yong, S.H., Horwitz, S., and Reps, T. 1999. Pointer analysis for programs with structures and casting, Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 91-103. ACM Press.
-
(1999)
Proceedings of the ACM Conference on Programming Language Design and Implementation
, pp. 91-103
-
-
Yong, S.H.1
Horwitz, S.2
Reps, T.3
|