Code motion of control structures in high-level languages

Ron Cytron, A. L., & Zadeck, F. K. (1986). Code motion of control structures in high-level languages. ACM.

Type

Unclassified

Intellectual base

Unclassified

Year

1986

DOI

10.1145/512644.512651

Link

https://doi.org/10.1145/512644.512651

Cited by

1 citation across 1 artifact.

Domain-specific

• Static single-assignment form
  • … model, dominance convention, phi semantics, placement and renaming algorithm, exceptional and unreachable edges, loops, conversion out of SSA, and preserved program behavior are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..

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:4770aa5d3e8d · see in the full table