An abstract representation of calling relationships between subroutines in a program.