Mathematical framework for programs that perform large numbers of operations which must be represented compactly