LFC语言的模式匹配实现方法
文献类型：学位论文
| 作者 | 张强 |
| 学位类别 | 博士 |
| 答辩日期 | 2001 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 形式规约 函数式语言 LFC语言 模式匹配 |
| 学位专业 | 计算机软件与理论 |
| 中文摘要 | 本文的研究工作是关于形式规约语言LFC(Language For CFRF)的实现问题中的一部分。形式规约（Formal Specification）是对软件系统所要解决问题的完备、精确的描述。LFC语言是形式规约获取系统SAQ(Specification AcQuisition system)提供的用于描述形式规约的函数式语言（Functional Language），LFC语言可以在SAQ系统中直接执行，因此是一种可执行的形式规约语言；作为一种函数式语言，LFC语言具有函数式语言共有的特点，而LFC语言与其它函数式语言不同的地方在于其将上下文无关语言（CFL）作为基本的数据类型，其理论基础是上下文无关语言递归函数（CFRF）理论。模式匹配（Pattern Matching）是包括LFC语言在内的大多数函数式语言都具备的重要特性。本文的工作是设计了一种新的模式匹配实现方法，该方法在保留LFC语言现有模式匹配实现方法中的项编号的基础上，结合常用的模式匹配树的构造思想，运用合一理论的部分知识，通过计算给定模式集合的扩展集合构造出模式匹配树。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 36 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/5970]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 张强. LFC语言的模式匹配实现方法[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2001. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。