Directed graph traversal, orderings and applications to data-flow analysiseli.thegreenplace.net9 pointsingve11 years ago