A Quick Overview of Larch/C++
A Quick Overview of Larch/C++
复制标题
Larch/C 快速概述
DOI：
--
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
G. Leavens
中科院分区：
文献类型：
--
作者：
Yoonsik Cheon;G. Leavens
本文简要介绍了Larch/C++，一种面向C++的接口规范语言。通过例子，我们解释声明，函数规格，类规格，和模板规格。最后给出了一个扩展的例子。假设读者对C++有一定的了解。读者应该对形式规范的概念有一定的了解，但不需要熟悉落叶松的形式规范方法。
This paper gives a quick overview of Larch/C++, an interface speci cation language for C++. Through examples, we explain declarations, function speci cations, class speci cations, and template speci cations. An extended example is given in the last section. The reader is assumed to have some familiarity with C++. The reader should have some familiarity with the idea of formal speci cation, but is not required to be familiar with the Larch approach to formal speci cation.