Skip to Main content Skip to Navigation
New interface
Conference papers

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
Complete list of metadata
Contributor : Davide Sangiogi Connect in order to contact the contributor
Submitted on : Tuesday, November 26, 2013 - 11:08:25 AM
Last modification on : Wednesday, February 2, 2022 - 3:56:16 PM




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⟩



Record views