科研之友
微信
新浪微博
Facebook
分享链接
摘要
在大多数基于图形的计算技术中，理论上的表达式与其图形表示并不相似，且它们的计算方式彼此不对应。出于理论研究需要一种与理论极为相似的计算技术。基于超图重写技术对无类型λ-演算的完全归约、按名称调用归约和按值调用归约进行建模。利用超图重写技术得到的以超图表示的λ-表达式在形式上与理论上的λ-表达式相似，以超图重写规则实现的计算过程与理论上的计算过程相对应，使该技术成为编程语言理论研究和快速建模演示的有利工具。
-
单位新疆财经大学
