G(o)del语言中面向对象技术的实现

摘要：

G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.本文引入了在G(o)del语言中支持面向对象的程序开发技术的新的语言成分,对面向对象技术在语言中的实现和应用进行了一些深入的分析和讨论.

关键词： G(o)del语言 面向对象 模块 程序开发 一阶逻辑

作者: 王炳波 赵致琢

作者单位: 厦门大学计算机科学系,厦门,361005

会议类型: 国内会议

会议名称: 2005年中国模糊逻辑与计算智能联合学术会议

会议地点: 深圳

会议语种:中文

页码: 83-88

在线出版日期: 2005-04-16（万方平台首次上网日期，不代表论文的发表时间）