ACM Transactions on Programming Languages and Systems July 1994: Vol 16, Nr 4 Transforming Acyclic Programs Static Slicing in Presence of Goto Statements The Definition of Dependence Distance Functions as Passive Constraints in LIFE