Verifiable semantic difference languages
Thibaut Girka, David Mentré, Yann Régis-Gianas · 2017
Program differences are usually represented as textual differences on source code with no regard to its syntax or its semantics. In this paper, we introduce semantic-aware difference languages. A difference denotes a relation between program reduction traces. A difference language for the toy imperative programming language Imp is given as an illustration.