A theory of retractable and speculative contracts
| العنوان: | A theory of retractable and speculative contracts |
|---|---|
| المؤلفون: | Franco Barbanera, Ivan Lanese, Ugo de'Liguoro |
| المساهمون: | University of Catania [Italy], Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Dipartimento di Informatica [Torino], Università degli studi di Torino (UNITO), Università degli studi di Torino = University of Turin (UNITO), Barbanera, Franco, Lanese, Ivan, de'Liguoro, Ugo |
| المصدر: | Science of Computer Programming Science of Computer Programming, Elsevier, 2018, 167, pp.25-50. ⟨10.1016/j.scico.2018.06.005⟩ Science of Computer Programming, 2018, 167, pp.25-50. ⟨10.1016/j.scico.2018.06.005⟩ |
| بيانات النشر: | HAL CCSD, 2018. |
| سنة النشر: | 2018 |
| مصطلحات موضوعية: | Theoretical computer science, Relation (database), Behavioral contract, Computer science, Speculative execution, Backtracking, Behavioral contracts, Compliance, Reversible computing, Software, ComputingMilieux_LEGALASPECTSOFCOMPUTING, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, compliance, Compliance (psychology), backtracking, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Server, 0202 electrical engineering, electronic engineering, information engineering, Time complexity, reversible computing, speculative execution, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Behavioral contracts Backtracking Speculative execution Compliance Reversible computing, Decidability, 010201 computation theory & mathematics, 020201 artificial intelligence & image processing |
| الوصف: | International audience; Behavioral contracts are abstract descriptions of expected communication patterns followed by either clients or servers during their interaction. Behavioral contracts come naturally equipped with a notion of compliance: when a client and a server follow compliant contracts, their interaction is guaranteed to progress or successfully complete. We study two extensions of behavioral contracts, retractable contracts dealing with backtracking and speculative contracts dealing with speculative execution. We show that the two extensions give rise to the same notion of compliance. As a consequence, they also give rise to the same subcontract relation, which determines when one server can be replaced by another preserving compliance. Moreover, compliance and subcontract relation are both decidable in quadratic time. Finally, we study the relationship between retractable contracts and calculi for reversible computing. |
| وصف الملف: | STAMPA |
| اللغة: | English |
| تدمد: | 0167-6423 |
| الوصول الحر: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b3c59788e74e02cc11d039ba77bb2c3Test https://hal.inria.fr/hal-01912858/documentTest |
| حقوق: | OPEN |
| رقم الانضمام: | edsair.doi.dedup.....8b3c59788e74e02cc11d039ba77bb2c3 |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 01676423 |
|---|