#### Filter Results:

- Full text PDF available (9)

#### Publication Year

1984

1996

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
- ACM Trans. Program. Lang. Syst.
- 1991

In optimizing compilers, data structure choices directly influence the power and efficiency of practical program optimization. A poor choice of data structure can inhibit optimization or slow compilation to the point that advanced optimization features become undesirable. Recently, static single assignment form and the control dependence graph have been… (More)

- Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck
- POPL
- 1988

The incremental circuit value problem arises in diverse interactive computational problems, including the semantic checking done by structure-based editors and such tasks as timing analysis performed by computer-aided design systems. An efficient incremental algorithm for updating the values of gates in a circuit (after a change in circuit parameters and/or… (More)

- Mark N. Wegman, F. Kenneth Zadeck
- POPL
- 1985

Constant propagation is a well-known global flow analysis problem. The goal of constant propagation is to discover values that are constant on all possible executions of a program and to propagate these constant values as far foward through the program as possible. Expressions whose operands are all constants can be evaluated at compile time and the results… (More)

- David R. Chase, Mark N. Wegman, F. Kenneth Zadeck
- PLDI
- 1990

- Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
- POPL
- 1988

In optimizing compilers, data structure choices directly innuence the power and eeciency of practical program optimization. A poor choice of data structure can inhibit optimization or slow compilation to the point that advanced optimization features become undesirable. Recently, static single assignment form and the control dependence graph have been… (More)

Elimination of partial redundancies is a powerful optimization that has been implemented in at least three important production compilers and has inspired several simdar optimization. The global data ffow analysis that supports this family of optimization includes some bidirectional prob-Jems. (A bidirectional problem is one in which the global inform ation… (More)

- Ron Cytron, Andy Lowry, F. Kenneth Zadeck
- POPL
- 1986

One trend among programmers is the increased use of abstractions. Through encapsulation techniques, abstractions extend the repertory of data structures and their concomitant operations that are processed directly by a compiler. For example, a compiler might not offer sets or set operations in its base language, but abstractions allow a programmer to define… (More)