摘要
本文介绍了一个基于重写方法的程序开发系统的设计和实现．该系统使用代数规范说明语言和扩展的函数式语言合成而形成的混合语言进行程序设计．系统将代数规范转换为合流的重写系统，并以平行最外方法辅以必要归约进行计算．该文详细介绍了系统的原理和实现技术，并以一些实例说明了系统的特点．
In this paper, the design and implementation of a program development system based on rewriting method are presented. The programming language is a mixed language composed of algebraic specification and extended functional language. The system first converts algebraic specification into rewriting system, then computes with outermost parallel and needed reduction. The principles and implementation techniques are explained in detail, some examples are provided.
出处
《计算机学报》
EI
CSCD
北大核心
1996年第9期641-648,共8页
Chinese Journal of Computers
基金
国家八五科技攻关项目
关键词
重写系统
程序开发
软件工程
设计
Rewriting system, algebraic specification, mixed language
