期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

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

下载PDF

导出

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

作者阳富民冯玉才

出处《微型计算机》北大核心 1995年第1期31-34,共4页 MicroComputer

关键词 RFUNLOG语言程序语言逻辑程序程序设计

分类号 TP312FR [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1阳富民,冯玉才,吴永英,吴恒山.函数／逻辑语言归约实现技术[J].计算机研究与发展,1996,33(9):647-651.
2李智勇,阳富民.函数／逻辑程序设计语言RFUNLOG[J].计算机杂志,1991,19(1):51-60. 被引量：1
3金海.并行“函数／逻辑”语言PRFUNLOG[J].研究与开发,1991(3):23-26.
4金海,李智勇,张运桢.并行函数/逻辑程序设计语言PRFUNLOG[J].计算机工程与设计,1992,13(6):13-17.
5金海,李智勇,张运桢,阳富民,银海.ELNF演算的解释技术[J].软件学报,1994,5(3):49-54.
6唐燕飞,张为群.一种基于用例和Petri网的业务过程建模方法[J].西南师范大学学报（自然科学版）,2006,31(3):105-109. 被引量：3
7卢炎生,阳富民,王道忠.一个函数/逻辑语言RELNF的设计与实现[J].计算机工程与应用,1993,29(3):33-37.
8杨在春.关于C++中常量的语法形式的研究与应用[J].电脑编程技巧与维护,2014(4):90-91.
9张运桢,李智勇.LISP-ELP语言的实现技术[J].华中理工大学学报,1991,19(1):113-118.
10卢炎生,阳富民.函数/逻辑归约演算系统ELNF[J].计算机工程与应用,1992,28(11):39-42.

微型计算机

1995年第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部