%0 Journal Article %T 一种扩展图重写模型下函数语言惰性模式匹配的实现方法 %A 周光明 %A 王鼎兴 %J - %D 1993 %X 本文给出惰性模式匹配基于扩展图重写模型的实现方法,包括模式匹配编译算法、参量一致化和模式平坦化算法,前一算法较好地实现了[6]中尚未解决的惰性模式匹配问题;而后一算法较[7]中提出的算法简单、高效 %U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19930402&flag=1