本文的研究工作是关于形式规约语言LFC(Language For CFRF)的实现问题中的一部分。形式规约(Formal Specification)是对软件系统所......

LFC语言是以上下文无关语言为数据类型的函数式语言，在形式规约获取系统SAQ中用作形式规约语言。LFC语言的检验分成两部分：即上下文......

模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构......