10.16208/j.issn1000-7024.2022.09.023
λ-演算归约策略的简易建模
在大多数基于图形的计算技术中,理论上的表达式与其图形表示并不相似,且它们的计算方式彼此不对应.出于理论研究需要一种与理论极为相似的计算技术.基于超图重写技术对无类型λ-演算的完全归约、按名称调用归约和按值调用归约进行建模.利用超图重写技术得到的以超图表示的λ-表达式在形式上与理论上的λ-表达式相似,以超图重写规则实现的计算过程与理论上的计算过程相对应,使该技术成为编程语言理论研究和快速建模演示的有利工具.
λ-演算、归化策略、超图重写、建模、编程语言
43
TP312(计算技术、计算机技术)
新疆维吾尔自治区自然科学基金;新疆维吾尔自治区高层次人才引进基金项目;新疆维吾尔自治区科学技术厅天池博士基金项目;国家自然科学基金;国家自然科学基金;四川省科技计划重大科技专项基金项目
2022-10-09(万方平台首次上网日期,不代表论文的发表时间)
共6页
2578-2583