| Gödel语言类型系统 |
| |
| 引用本文： | 王炳波,赵致琢,晏松.Gödel语言类型系统[J].计算机工程与设计,2005,26(12):3432-3435. |
| |
| 作者姓名： | 王炳波 赵致琢 晏松 |
| |
| 作者单位： | 王炳波（厦门大学,计算机科学系,福建,厦门,361005）;赵致琢（厦门大学,计算机科学系,福建,厦门,361005）;晏松（厦门大学,计算机科学系,福建,厦门,361005） |
| |
| 摘 要： | G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.详细介绍了G(o)del语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论.
|
| 关 键 词： | G(o)del Prolog 类型系统 多态多类 类型推理 |
| 文章编号： | 1000-7024(2005)12-3432-04 |
| 修稿时间： | 2004年10月9日 |
Type system in programming
language Gödel |
| |
| WANG Bing-bo.Type system in programming
language Gödel[J].Computer Engineering and Design,2005,26(12):3432-3435. |
| |
| Authors: | WANG Bing-bo |
| |
| Abstract: | |
| |
| Keywords: | |
|
|
