虚拟存储管理系统的基础是程序的（ ）理论。