A Unified Approach to Global Program Optimization

Kildall, G. A. (1973). A Unified Approach to Global Program Optimization. Proceedings of the 1st ACM Symposium on Principles of Programming Languages, 194-206.

Type

Conference paper

Intellectual base

Primary research

Year

1973

DOI

10.1145/512927.512945

Link

https://doi.org/10.1145/512927.512945

Cited by

1 citation across 1 artifact.

Domain-specific

• Reaching definition
  • It is a forward may-analysis: predecessor information combines by union, a block kills older definitions of assigned variables, and generated definitions enter the outgoing set.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:223713a187eb · see in the full table