形式规约语言相关论文
模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构......
该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色.形式规约语言LFC是为支持软件形式规约的获取工作......
在运行时刻，由于某些函数参数的取值会造成一些函数被重复调用，这在编译时刻是无法被传统的优化器发现的。针对这种情况，提出一种运行......
本文首先给出形式化方法概述，并介绍两种分别代表面向模型和面向性质的形式规约语言Ｚ和Ｌａｒｃｈ。然后，重点讨论形式化方法与面向对象技术的结......
