| 摘要: |
| 本文给出惰性模式匹配基于扩展图重写模型的实现方法,包括模式匹配编译算法、参量一致化和模式平坦化算法,前一算法较好地实现了[6]中尚未解决的惰性模式匹配问题;而后一算法较[7]中提出的算法简单、高效。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| A LAZY PATTERN MATCHING IMPLEMENTING METHOD OF FUNCTIONAL LANGUAGE BASED ON EXTENDED GRAPH REWRITING MODEL |
|
Zhou Guangming,Wang Dingxing
|
| Abstract: |
| A lazy pattern matching implementation method based on extended graph rewriting model is proposed, including a lazy pattern matching compiling algorithm, a sometime-matching argument eliminating and pattern flattening algorithm. The first algorithm has solved the problem of efficient implementing lazy pattern matching which remained unsolved in [6]. The later algorithm is simpler and more efficient than that proposed in [7]. |
| Key words: |
