元程序设计相关硕士博士期刊学术论文 - 搜论网

元程序设计相关论文

逻辑程序设计语言G(o)del与Prolog的比较

在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较......

期刊

Gdel语言 Prolog语言模块系统类型系统控制机制元程序设计

Prolog与G(o)del语言元程序设计的对比研究

元程序设计是许多逻辑程序语言具有的重要特点,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意......

期刊

Godel语言元程序设计基本表示非基本表示

看过本文同时还关注