Conflict Detection in Delta-Oriented Programming - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

Conflict Detection in Delta-Oriented Programming

Résumé

This paper studies the notion of conflict for a variant of Delta-Oriented Programming (DOP) without features, separating out the notions of hard and soft conflict. Specifically, we define a language for this subset of DOP and give a precise, formal definitions of these notions. We then define a type system based on row-polymorphism that ensures that the computation of a well-typed product will always succeed and has an unambiguous result.

Domaines

Informatique
Fichier non déposé

Dates et versions

hal-00909381 , version 1 (26-11-2013)

Identifiants

Citer

Michael Lienhardt, Dave Clarke. Conflict Detection in Delta-Oriented Programming. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. pp.178--192, ⟨10.1007/978-3-642-34026-0_14⟩. ⟨hal-00909381⟩

Collections

INRIA INRIA2
93 Consultations
0 Téléchargements

Altmetric

Partager

More