元程序设计相关论文
在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较......
元程序设计是许多逻辑程序语言具有的重要特点,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意......
介绍了一种新型程序设计范型——生成式程序设计提出的背景和意义、概念、分类、研究概况、存在的问题以及进一步的研究方向。......