首页> 中文期刊> 《微型计算机》 >函数／逻辑程序设计语言RFUNILOG

函数／逻辑程序设计语言RFUNILOG

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

本文提出了一种兼备函数／逻辑功能的程序设计语言ＲＦＵＮＬＯＧ。它不仅具有统一的语法形式和丰富的语言设施，而且有统一的操作语义，整个语言可以用图归约的概念来解释。

著录项

来源
《微型计算机》 |1995年第1期|31-34|共4页
作者
阳富民; 冯玉才;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类 TP312FR;
关键词
RFUNLOG语言; 程序语言; 逻辑程序; 程序设计;

相似文献

中文文献
外文文献
专利

1. 并行函数/逻辑程序设计语言PRFUNLOG [J] . 金海 . 计算机工程与设计 . 1992,第006期
2. 函数／逻辑程序设计语言RFUNLOG [J] . 李智勇 ,阳富民 . 计算机杂志 . 1991,第001期
3. 逻辑程序设计语言G(o)del与Prolog的比较 [J] . 昌杰 ,赵致琢 ,李慧琪 . 智能系统学报 . 2009,第002期
4. 动态模糊逻辑程序设计语言的指称语义 [J] . 韩小芬 ,李凡长 . 计算机科学 . 2009,第001期
5. 框架投影时序逻辑程序设计语言中的指针 [J] . 王小兵 ,段振华 . 西安电子科技大学学报（自然科学版） . 2008,第006期
6. 逻辑程序设计语言G(o)del中等词的研究及实现简报 [C] . 侯米娜 ,赵致琢 ,李慧琪 . 2006年全国理论计算机科学学术年会 . 2006
7. 基于类型一阶逻辑系统的逻辑程序设计语言语义描述方法的研究 [A] . 李慧琪 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号