|
СТ |
A Model of Ada Programs for Static Deadlock Detection in Polynominal Time |
1991 |
Masticola S. P., Ryder B. G. |
|
|
|
SIGPLAN Notices |
25.02.1992 |
|
СТ |
Non-concurrency Analysis |
1993 |
Masticola S. P., Ryder B. G. |
|
|
|
SIGPLAN Notices |
06.09.1993 |
|
СТ |
Interprocedural Modification Side Effect Analysis With Pointer Aliasing |
1993 |
Landi W., Ryder B. G., Zhang S. |
|
|
|
SIGPLAN Notices |
11.08.1993 |
|
СТ |
Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs |
1995 |
Sgro V., Ryder B. G. |
|
|
|
Lecture Notes in Computer Science |
29.03.1995 |
|
СТ |
Practical Compile-Time Analysis |
1997 |
Ryder B. G. |
|
|
|
Lecture Notes in Computer Science |
20.09.1997 |
|
СТ |
Experiments with Combined Analysis for Pointer Aiasing |
1998 |
Zhang S., Ryder B. G., Landi W. A. |
|
|
|
SIGPLAN Notices |
16.09.1998 |
|
СТ |
Comparing Flow and Context Sensitivity on the Modification-side-effects Problem |
1998 |
Stocks P. A., Ryder B. G., Landi W. A., Zhang S. |
|
|
|
Software Engineering Notes |
30.07.1998 |
|
СТ |
Complexity of Concrete Type-Inference in the Presence of Exceptions |
1998 |
Chatterjee R., Ryder B. G., Landi W. A. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
Data-Flow Analysis of Program Fragments |
1999 |
Rountev A., Ryder B. G., Landi W. |
|
|
|
Lecture Notes in Computer Science |
14.10.1999 |
|
СТ |
A Static Study of Java Exceptions Using JESP |
2000 |
Ryder B. G., Smith D., Kremer U., Gordon M., Shah N. |
|
|
|
Lecture Notes in Computer Science |
22.04.2000 |
|
СТ |
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries |
2001 |
Rountev A., Ryder B. G. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
An Empirical Study of Selective Optimization |
2001 |
Arnold M., Hind M., Ryder B. G. |
|
|
|
Lecture Notes in Computer Science |
11.01.2002 |
|
СТ |
Thin Guards: A Simple and Effective Techniques for Reducing the Penalty of Dynamic Class Loading |
2002 |
Arnold M., Ryder B. G. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
|
СТ |
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages |
2003 |
Ryder B. G. |
|
|
|
Lecture Notes in Computer Science |
11.04.2003 |
