###
DOI:
Journal of Software:1994.5(8):30-36

基于类型理论的递旧元程序设计
谭庆平,陈火旺
(长沙工学院计算机科学系,长沙 410073)
RECURSIVE METAPROGRAMMING BASED ON TYPE THEORY
Tan Qingping,Chen Huowang
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2890   Download 2621
Received:May 05, 1991    Revised:May 11, 1992
> 中文摘要: 本文提出在LF类型理论中定义一组相互递归类型的方法,并对递归类型赋予操作语义.这样,递归类型不仅可以表示通常的递归数据结构,还可描述一般的递归问题求解、递归证明构造和递归程序构造过程.
Abstract:This paper presents a new approach to defining a set of mutually inductivetypes and gives these types an operational interpretation. Therefore, inductive types canexpress ordinary inductive data structures as well as recursive problem solving and proofcons truction.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

谭庆平,陈火旺.基于类型理论的递旧元程序设计.软件学报,1994,5(8):30-36

Tan Qingping,Chen Huowang.RECURSIVE METAPROGRAMMING BASED ON TYPE THEORY.Journal of Software,1994,5(8):30-36