元程序设计

作品数：10被引量：7H指数：1
导出分析报告
相关领域：自动化与计算机技术建筑科学更多>>
相关作者：刘征辉张耀庭赵致琢饶林珠昌杰更多>>
相关机构：华中科技大学厦门大学江西财经大学南京航空航天大学更多>>
相关期刊：《软件学报》《巢湖学院学报》《中山大学研究生学刊（自然科学与医学版）》《计算机工程与应用》更多>>
相关基金：国家自然科学基金中国博士后科学基金江西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于类型理论的递旧元程序设计被引量：1
《软件学报》1994年第8期30-35,共6页谭庆平 陈火旺 
本文提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义．这样，递归类型不仅可以表示通常的递归数据结构，还可描述一般的递归问题求解、递归证明构造和递归程序构造过程．
关键词：类型理论 递归 程序设计 数据结构 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部