| 合成邏辑TAC中合子的生成 |
| |
| 引用本文： | 赵晓俠.合成邏辑TAC中合子的生成[J].电子科技大学学报(社会科学版),1989(1). |
| |
| 作者姓名： | 赵晓俠 |
| |
| 作者单位： | 电子科技大学计算机系 |
| |
| 摘 要： | 近年来,软件的形式开发越来越受重视。本文设计了一个形式系统,它能实现合成逻辑TAC中合子的自动生成。
|
| 关 键 词： | 软件 形式开发 形式系统 合成逻辑 合子 类型构系 |
AUTOMATIC GENERATION OF COMBINATORS IN TAC OF COMBINATORY LOGIC |
| |
| Zhao Xiaoxia.AUTOMATIC GENERATION OF COMBINATORS IN TAC OF COMBINATORY LOGIC[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),1989(1). |
| |
| Authors: | Zhao Xiaoxia |
| |
| Institution: | Dept.of Computer Science |
| |
| Abstract: | Formal software development is a very important field of computer science these days. With the idea of Ref. 1,2], this paper presents a formal system, which can implement automatic generation of combinators in TAC of combinatory logic. |
| |
| Keywords: | software format development formal system combinatorylogic combinator type scheme |
| 本文献已被 CNKI 等数据库收录！ |
