函数—规约混合语言的设计与实现 |
| |
引用本文: | 林凯,沈理.函数—规约混合语言的设计与实现[J].上海交通大学学报,1996,30(6):100-106. |
| |
作者姓名: | 林凯 沈理 |
| |
摘 要: | 在函数式语言中引入约束类型和优化规则定义机制,并将扩展的函数式语言与代数规约说明语言相结合,支持从规约到程序的设计,并提高编程的效率及灵活性,混合语言系统将代数规约转换为合流的重写系统,将函数定义,计算约束和优化规则视重为规则,基于重写模型,以平行最外方法辅以必要归约进行计算。
|
关 键 词: | 函数式语言 代数规约 约束类型 优化规则 |
本文献已被 维普 等数据库收录! |
|