| 函数－规约混合语言的设计与实现 |
| |
| 引用本文： | 林凯,沈理,陆朝俊,孙永强.函数－规约混合语言的设计与实现[J].上海交通大学学报,1996(6). |
| |
| 作者姓名： | 林凯 沈理 陆朝俊 孙永强 |
| |
| 基金项目： | 国家“八六三”计划,国家八五计划资助 |
| |
| 摘 要： | 在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性．混合语言系统将代数规约转换为合流的重写系统，将函数定义、计算约束和优化规则视为重写规则，基于重写模型，以平行最外方法辅以必要归约进行计算．
|
| 关 键 词： | 函数式语言 代数规约 约束类型 优化规则 |
Design and Implementation of Function-Specification Mixed Language |
| |
| Lin Kai, Shen Li, Lu Chaojun, Sun Yongqiang.Design and Implementation of Function-Specification Mixed Language[J].Journal of Shanghai Jiaotong University,1996(6). |
| |
| Authors: | Lin Kai Shen Li Lu Chaojun Sun Yongqiang |
| |
| Institution: | Department of Computer Science and Engineering |
| |
| Abstract: | In this paper, a new mechanism for defining constrained type and optimal rule is introduced to functional programming language, and the enhanced functional language is combined with algebraic specification language. Thus, the design from specification to program can be supported, and the efficiency and flexibility of programming also can be improved. In this system, algebraic specification is transformed into confluent rewriting system; definition of function, restraint of computing and optimal rule are regarded as rewriting rules. So, based on term rewriting method, the mixed language system computes in paralleloutermost method with needed reduction. |
| |
| Keywords: | functional programming language algebraic specification restrained type optimal rule |
| 本文献已被 CNKI 等数据库收录！ |
|
