E-LIB Suche - Ergebnisse für: Landi, William G.

1

Pointer-induced aliasing : a clarification:

Marlowe, Thomas J. ; Landi, William G. ; Ryder, Barbara G....
ACM SIGPLAN Notices. 28 (1993) 9 - p. 67-70 , 1993

Link: https://dl.acm.org/doi/1..

2

Pointer-induced aliasing: a clarification:

Marlowe, Thomas J. ; Landi, William G. ; Ryder, Barbara G....
ACM SIGPLAN Notices. 28 (1993) 9 - p. 67-70 , 1993

Link: https://doi.org/10.1145/..

3

A safe approximate algorithm for interprocedural pointer al..:

Landi, William ; Ryder, Barbara G.
ACM SIGPLAN Notices. 39 (2004) 4 - p. 473-489 , 2004

Link: https://doi.org/10.1145/..

4

A safe approximate algorithm for interprocedural pointer al..:

Landi, William ; Ryder, Barbara G.
ACM SIGPLAN Notices. 39 (2004) 4 - p. 473-489 , 2004

Link: https://dl.acm.org/doi/1..

5

A schema for interprocedural modification side-effect analy..:

Ryder, Barbara G. ; Landi, William A. ; Stocks, Philip A...
ACM Transactions on Programming Languages and Systems. 23 (2001) 2 - p. 105-186 , 2001

Link: https://doi.org/10.1145/..

6

A schema for interprocedural modification side-effect analy..:

Ryder, Barbara G. ; Landi, William A. ; Stocks, Philip A...
ACM Transactions on Programming Languages and Systems (TOPLAS). 23 (2001) 2 - p. 105-186 , 2001

Link: https://dl.acm.org/doi/1..

7

Relevant context inference:

, In: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Chatterjee, Ramkrishna ; Ryder, Barbara G. ; Landi, William A. - p. 133-146 , 1999

Link: https://dl.acm.org/doi/1..

8

An incremental flow- and context-sensitive pointer aliasing..:

, In: Proceedings of the 21st international conference on Software engineering,

Yur, Jyh-shiarn ; Ryder, Barbara G. ; Landi, William A. - p. 442-451 , 1999

Link: https://dl.acm.org/doi/1..

9

Data-flow analysis of program fragments:

, In: Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering,

Rountev, Atanas ; Ryder, Barbara G. ; Landi, William - p. 235-252 , 1999

Link: https://dl.acm.org/doi/1..

10

Comparing flow and context sensitivity on the modification-..:

, In: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis,

Stocks, Philip A. ; Ryder, Barbara G. ; Landi, William A.. - p. 21-31 , 1998

Link: https://dl.acm.org/doi/1..

11

Experiments with combined analysis for pointer aliasing:

, In: Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering,

Zhang, Sean ; Ryder, Barbara G. ; Landi, William A. - p. 11-18 , 1998

Link: https://dl.acm.org/doi/1..

12

Experiments with combined analysis for pointer aliasing:

Zhang, Sean ; Ryder, Barbara G. ; Landi, William A.
ACM SIGPLAN Notices. 33 (1998) 7 - p. 11-18 , 1998

Link: https://doi.org/10.1145/..

13

Incremental analysis of side effects for C software system:

, In: Proceedings of the 19th international conference on Software engineering,

Yur, Jyh-Shiarn ; Ryder, Barbara G. ; Landi, William A.. - p. 422-432 , 1997

Link: https://dl.acm.org/doi/1..

14

Program decomposition for pointer aliasing : a step towa..:

, In: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering,

Zhang, Sean ; Ryder, Barbara G. ; Landi, William - p. 81-92 , 1996

Link: https://dl.acm.org/doi/1..

15

Interprocedural modification side effect analysis with poin..:

, In: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation,

Landi, William ; Ryder, Barbara G. ; Zhang, Sean - p. 56-67 , 1993

Link: https://dl.acm.org/doi/1..