Skip to main content
Research
Focus areas
Blog
Publications
Careers
About
Back
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Back
About
Overview
Labs
People
Back
Semiconductors
Back
Artificial Intelligence
Back
Quantum Computing
Back
Hybrid Cloud
Back
Overview
Back
Labs
Back
People
Research
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Blog
Publications
Careers
About
Overview
Labs
People
Open IBM search field
Close
PLDI 2000
Conference paper
18 Jun 2000
On loops, dominators, and dominance frontier
Download paper
Abstract
No abstract available.
Related
Paper
On the complexity of partially-flow-sensitive alias analysis
Conference paper
Effective typestate verification in the presence of aliasing
Conference paper
Semantics-based reverse engineering of object-oriented data models
Conference paper
Aspects For Legacy Applications: Summary of Dagstuhl Seminar 06302
View all publications
