Automatic construction of sparse data flow evaluation graphsJong-Deok ChoiRon Cytronet al.1991POPL 1991