| SELF~2,泛函·方程·逻辑·集合论四体裁一体化的编程语言:语言设计 |
| |
| 引用本文： | 江明德. SELF~2,泛函·方程·逻辑·集合论四体裁一体化的编程语言:语言设计[J]. 电子科技大学学报(社会科学版), 1991, 0(6) |
| |
| 作者姓名： | 江明德 |
| |
| 作者单位： | 四川成都电子科技大学计算机系 |
| |
| 摘 要： | 设计了一种新人工智能编程语言SELF~2,它融合四种编程体裁(泛函,方程,逻辑,集合论)于一体,将成为Lyusia语言新版本的核心。SELF~2语言的设计分成四个阶段:(具函数、方程和逻辑三编程体裁的)SELF~2核仁设计,向集合论的扩展,蚋入表这个特殊构造,向泛函的扩展。SELF~2的实现工作大致地可按此四阶段逐一实现,逐步扩展。SELF~2语言核仁及SELF~2的各阶段扩展成的语言均可各自成为独立的编程语言。SELF~2语言的设计思想主要基于g_(γω)理论,它是g_(γω)的一应用系统(语言)的子集。
|
| 关 键 词： | 计算机程序 编程语言 泛函 方程 逻辑 集合论 多体裁一体化 编程语言 理论 柳霞语言 |
SELF~2, A PROGRAMMING LANGUAGE INTEGRATING FOUR PARADIGMS FUNCTIONAL, EQUATIONAL, LOGIC, AND SET-THEORETIC: LANGUAGE DESIGN |
| |
| Jiang Mingde. SELF~2, A PROGRAMMING LANGUAGE INTEGRATING FOUR PARADIGMS FUNCTIONAL, EQUATIONAL, LOGIC, AND SET-THEORETIC: LANGUAGE DESIGN[J]. Journal of University of Electronic Science and Technology of China(Social Sciences Edition), 1991, 0(6) |
| |
| Authors: | Jiang Mingde |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
