| G(o)del语言类型系统 |
| |
| 引用本文： | 王炳波,赵致琢,晏松.G(o)del语言类型系统[J].计算机工程与设计,2005,26(12). |
| |
| 作者姓名： | 王炳波 赵致琢 晏松 |
| |
| 摘 要： | G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.详细介绍了G(o)del语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论.
|
| 关 键 词： | G(o)del Prolog 类型系统 多态多类 类型推理 |
Type system in programming language G(o)del |
| |
| WANG Bing-bo,ZHAO Zhi-zhuo,YAN Song.Type system in programming language G(o)del[J].Computer Engineering and Design,2005,26(12). |
| |
| Authors: | WANG Bing-bo ZHAO Zhi-zhuo YAN Song |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
