递归程序变换及其实验

递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。     

面向信息时代的我国高等教育：谈谈信息技术对未来高等教育的影响

本文分析了当前我国高等教育学方式存在的弊端，阐述了信息技术在高等教育教学过程中的应用及由此产生的影响，认为信息技术是我国高等教育教学改革的支撑点，并提出改革中可能存在的问题及未来的一个发展趋势。