RELNF语言相关硕士博士期刊学术论文

RELNF是我们自行设计与实现的一个基于扩展的图归约计算模型的函数/逻辑语言。本文较详细地介绍了RELNF的语法,表达式的编译及解释......