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.
Type de document :
Communication dans un congrès
Tiziana Margaria and Bernhard Steffen. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.178--192, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34026-0_14〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00909381
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 11:08:25
Dernière modification le : jeudi 11 janvier 2018 - 16:40:55

Identifiants

Collections

Citation

Michael Lienhardt, Dave Clarke. Conflict Detection in Delta-Oriented Programming. Tiziana Margaria and Bernhard Steffen. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.178--192, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34026-0_14〉. 〈hal-00909381〉

Partager

Métriques

Consultations de la notice

91