首页
|
本学科首页
官方微博
|
高级检索
全部学科
医药、卫生
生物科学
工业技术
交通运输
航空、航天
环境科学、安全科学
自然科学总论
数理科学和化学
天文学、地球科学
农业科学
哲学、宗教
社会科学总论
政治、法律
军事
经济
历史、地理
语言、文字
文学
艺术
文化、科学、教育、体育
马列毛邓
全部专业
中文标题
英文标题
中文关键词
英文关键词
中文摘要
英文摘要
作者中文名
作者英文名
单位中文名
单位英文名
基金中文名
基金英文名
杂志中文名
杂志英文名
栏目中文名
栏目英文名
DOI
责任编辑
分类号
杂志ISSN号
基于类型理论的递归元程序设计
引用本文:
谭庆平,陈火旺.基于类型理论的递归元程序设计[J].软件学报,1994,5(8):30-35.
作者姓名:
谭庆平
陈火旺
摘 要:
本提出在LF类型理论中定义一组相互递归类型的方法,并对递归类型赋予操作语义,递归类型不仅可以表示通常的递归通常的递归数据结构,还可描述一般的递归问题求解,递归证明构造和递归程序构造过程。
关 键 词:
类型理论
递归
程序设计
数据结构
本文献已被
维普
等数据库收录!
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号