提出了一个基于重写技术的开发系统，它提供了扩展的函数语言和代数规约语言相结合的混合语言，该语言中引入了优化规则和测试等式说明......

ＭＦＳ是一个基于重写技术的程序开发系统。它提供的程序设计语言ＭＦＳＬ是扩展的函数式语言与代数规约语言相结合的混合语言。在这种混合语言中......

...

揭示了Visual Basic事件与Windows消息之间的关系,介绍了Windows子类(Sub Classing)技术及其工作原理,给出在VB中运用Sub Classing......