Add to ORKGColloque avec actes et comité de lecture. internationale.International audienceOperational transformation is an approach which allows to build real-time groupware tools. This approach requires correct transformation functions. Proving the correction of these transformation functions is very complex and error prone. In this paper, we show how a theorem prover can address this serious bottleneck. To validate our approach, we have verified the correctness of state-of-art transformation functions defined on Strings with surprising results. Counter-examples provided by the theorem prover have helped us to define new correct transformation functions for Strings
This paper discusses the relationship between transformational programming and theorem proving. It i...
Distributed systems adopt weak consistency to ensure high availability and low latency, but state co...
Representation determines how we can reason about a specific problem. Sometimes one representation h...
Colloque avec actes et comité de lecture. internationale.International audienceOperational transform...
Operational transformation is an approach which allows to build real-time groupware tools. This appr...
Operational transformation (OT) is an approach which allows to build real-time groupware tools. This...
AbstractThis paper shows how the Improvement Theorem — a semantic condition for establishing the tot...
AbstractDistributed groupware systems provide computer support for manipulating objects such as a te...
Colloque sans acte à diffusion restreinte. internationale.International audienceTransformational app...
Colloque avec actes et comité de lecture. nationale.National audienceReplication-based distributed s...
The issue of correctness in the context of a certain style of program transformation is investigated...
: The purpose of this paper is twofold: First, a setting for the formal verification of transformati...
AbstractWe present an initial version of a tool VOTE1 for detecting copies inconsistency in group ed...
Data sharing is a key problem in collaborative work. Data replication mecanisms maintain several cop...
The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of ...
This paper discusses the relationship between transformational programming and theorem proving. It i...
Distributed systems adopt weak consistency to ensure high availability and low latency, but state co...
Representation determines how we can reason about a specific problem. Sometimes one representation h...
Colloque avec actes et comité de lecture. internationale.International audienceOperational transform...
Operational transformation is an approach which allows to build real-time groupware tools. This appr...
Operational transformation (OT) is an approach which allows to build real-time groupware tools. This...
AbstractThis paper shows how the Improvement Theorem — a semantic condition for establishing the tot...
AbstractDistributed groupware systems provide computer support for manipulating objects such as a te...
Colloque sans acte à diffusion restreinte. internationale.International audienceTransformational app...
Colloque avec actes et comité de lecture. nationale.National audienceReplication-based distributed s...
The issue of correctness in the context of a certain style of program transformation is investigated...
: The purpose of this paper is twofold: First, a setting for the formal verification of transformati...
AbstractWe present an initial version of a tool VOTE1 for detecting copies inconsistency in group ed...
Data sharing is a key problem in collaborative work. Data replication mecanisms maintain several cop...
The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of ...
This paper discusses the relationship between transformational programming and theorem proving. It i...
Distributed systems adopt weak consistency to ensure high availability and low latency, but state co...
Representation determines how we can reason about a specific problem. Sometimes one representation h...