中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
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语言现有模式匹配实现方法中的项编号的基础上,结合常用的模式匹配树的构造思想,运用合一理论的部分知识,通过计算给定模式集合的扩展集合构造出模式匹配树。
英文摘要: This thesis is concerned with a part of the implementation of LFC (Language For CFRF). Formal specification is a complete and accurate description of tasks that a software system should perform. LFC is a functional language that is provided by SAQ (Specification AcQuisition system), and is used to describe formal specifications. LFC can be executed directly in SAQ, so it is an executable formal specification language. While as a functional language, LFC has most features possessed by other functional languages; LFC is different from other functional languages in that LFC uses context free language (CFL) as its basic data type and the theory of CFRF (Recursive Function defined on Context-Free languages) as its theoretical basis. Pattern matching is an important feature of most functional languages, including LFC. The thesis introduces a new method for pattern matching. The method uses term code, which is used in the current version of LFC, and the idea on construction of pattern-matching tree, employs unification theory, and constructs pattern-matching tree via computing extensive set of the given pattern set.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/5970
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
LW004468.pdf(2053KB)----限制开放-- 联系获取全文

Recommended Citation:
张强. LFC语言的模式匹配实现方法[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2001-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[张强]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[张强]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace