Conflict Detection in Delta-Oriented Programming

Michael Lienhardt 1, 2 Dave Clarke 3
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-00909381
Contributor : Davide Sangiogi <>
Submitted on : Tuesday, November 26, 2013 - 11:08:25 AM
Last modification on : Thursday, February 21, 2019 - 10:31:45 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

132