Conflict Detection in Delta-Oriented Programming - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Conflict Detection in Delta-Oriented Programming

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.
No file

Dates and versions

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

Identifiers

Cite

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
85 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More