首页> 中文会议>2005年中国模糊逻辑与计算智能联合学术会议 >G(o)del语言中面向对象技术的实现

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《2005年中国模糊逻辑与计算智能联合学术会议》|2005年|83-88|共6页
会议地点深圳
作者
王炳波; 赵致琢;
展开▼
作者单位

中国计算机学会;

中国人工智能学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类软件工程;
关键词
G(o)del语言; 面向对象; 模块; 程序开发; 一阶逻辑;

相似文献

中文文献
外文文献
专利

1. 前进中的面向对象技术记第三十一届面向对象语言与系统技术国际学术会议暨第三届中国面向对象技术应用学术会议 [J] . 吕建 ,费翔林 ,王静英 . 计算机科学 . 2000,第004期
2. G(o)del语言延迟声明语句的语义及其实现方法 [J] . 曹炳义 ,赵致琢 . 计算机科学 . 2012,第005期
3. G(o)del语言控制机制的研究与实现 [J] . 高伟 ,赵致琢 ,李慧琪 . 智能系统学报 . 2009,第004期
4. 用面向对象技术实现相关分离的双语言描述 [J] . 孙文彦 ,熊璋 ,宋京民 . 北京航空航天大学学报 . 2000,第002期
5. 面向对象技术在构造VHDL语言行为（算法）子集分析器中的应用 [J] . 叶俊民 . 计算机与数字工程 . 1998,第003期
6. G(o)del语言编译中多态多类类型的实现技术简报 [C] . 苏剑煌 ,赵致琢 ,李慧琪 . 2006年全国理论计算机科学学术年会 . 2006
7. Gödel语言编译系统中推理机的设计与实现 [A] . 李松斌 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号