Optimale Zerlegung von Computerprogrammen durch Zerlegung von Graphen.