CHANGE algorithm for stack and program