Work

Verifiable semantic difference languages

Year: 2017

Type: conference-paper

Abstract: 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.

Source: International Symposium on Principles and Practice of Declarative Programming (PPDP)

DOI: 10.1145/3131851.3131870

Authors: Thibaut Girka, David Mentré, Yann Régis-Gianas

Institutions: Mitsubishi Electric (France), Université Paris Diderot

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2762769801

FWCI: 0.727

Cites: 22

Cited by: 6

Related to: 10