Conference paper

18 Jun 2000

On loops, dominators, and dominance frontier

Abstract

No abstract available.

Related

Paper

On loops, dominators, and dominance frontiers

G. Ramalingam

ACM TOPLAS

Conference paper

Verifying safety properties using separation and heterogeneous abstractions

Eran Yahav, G. Ramalingam

PLDI 2004

Paper

On sparse evaluation representations

G. Ramalingam

Theoretical Computer Science

Paper

Identifying loops in almost linear time

G. Ramalingam

ACM TOPLAS

View all publications