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