Herding CATs

被引：0
|
作者：
Haehnle, Reiner [1 ]
Scaletta, Marco [1 ]
Kamburjan, Eduard [2 ]
机构：
[1] Tech Univ Darmstadt, Darmstadt, Germany
[2] Univ Oslo, Oslo, Norway
来源：
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2023 | 2023年 / 14323卷
关键词：
D O I：
10.1007/978-3-031-47115-5_1
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We illustrate the usage of context-aware trace contracts (for short: CATs) by way of an example. CATs are a systematic approach to specify non-procedure local behavior. Technically, they consist of symbolic expressions specifying the assumed behavior of the callers before a procedure enters its contract, the behavior a procedure guarantees, and the behavior expected to happen in the continuation after termination. This generalizes state-based, Hoare-style specification triples.
引用
收藏
页码：3 / 8
页数：6
相关论文
共 50 条
12345