| An Algebraic Approach to Bi-Directional Updating (2004) | |||||||||||||||||
Abstract | |||||||||||||||||
| In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data related by some transform --- synchronise bookmarks in different web browsers, the source and the view in an editor, or views in databases, to name a few. This paper proposes a formal model of such tasks, basing on a programming language allowing injective functions only, inspired by previous work on program inversion. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||