Common use of Semantics Clause in Contracts

Semantics. ‌ SECA comes with four semantics, for different purposes. The standard ▇▇▇▇▇- tics defines how programs are executed. The energy-aware semantics addition- ally traces the energy consumption during program execution in a skyline. The symbolic execution semantics executes all possible paths through a program. The energy-aware symbolic execution semantics traces all possible skylines a program can produce. The focus of this paper is the last one; the others are formally defined in a technical report [19]. Below, we will informally discuss the energy-aware semantics, as it is a useful foundation to understand the energy- aware symbolic execution semantics.

Semantics. ‌ SECA comes with four semantics, for different different purposes. The standard ▇▇▇▇▇- tics defines defines how programs are executed. The energy-aware semantics addition- ally traces the energy consumption during program execution in a skyline. The symbolic execution semantics executes all possible paths through a program. The energy-aware symbolic execution semantics traces all possible skylines a program can produce. The focus of this paper is the last one; the others are formally defined defined in a technical report [19]. Below, we will informally discuss the energy-aware semantics, as it is a useful foundation to understand the energy- aware symbolic execution semantics.