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