杨祥金
【姓名】 杨祥金
【职称】 副教授;
【研究领域】 计算机软件及计算机应用;
【研究方向】 过计算机原理、程序设计、离散数学、人工智能、知识库引论、计算机科学基础理论
【发表文献关键词】 归约机,函子,函数式语言,演算,归约规则,高阶,实现技术,结点,语言,良构,表达式,λ演算,归约演算,研究与发展,程序设计语言,标识符,不动点,指针域,无限数,归约关系,
【工作单位】 东南大学
【曾工作单位】 东南大学;
【所在地域】 南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 5 4 5 2 208
中国期刊全文数据库    共找到5篇
[1]杨祥金;.带类型λ-演算[J]计算机科学.1994,(06)
[2]杨祥金，李慧卿.DDFP语言的归约机实现技术[J]计算机研究与发展.1995,(02)
[3]杨祥金.抽象算法C-T-ABS和ABSTRACT的理论推导与等价性证明[J]计算机研究与发展.1993,(12)
[4]杨祥金.泛函程序设计语言实现中的图归约演算[J]计算机研究与发展.1993,(12)
[5]杨祥金,范伯南.一种基于表达式的泛函数程序设计语言[J]计算机研究与发展.1993,(04)
更多