A Principled Approach to Version Control Export

@unpublished{citeulike:5655826, abstract = {Abstract. Version control systems are essential for managing the distributed development of large software projects. We present a formal model for reasoning about version control. In particular, we give a general definition of patch. Patches abstract over the data on which they operate, making our framework equally suited for version control of everything from highly-structured XML files to blobs of bits. We model repositories as a multiset of patches. The mathematical definitions of patches and repositories enable us to reason about complicated issues such as conflicts and conflict resolution. 1}, author = {L\"{o}h, Andres and Swierstra, Wouter and Leijen, Daan}, citeulike-article-id = {5655826}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.8649}, citeulike-linkout-1 = {http://www.cse.chalmers.se/~wouter/publications.html}, citeulike-linkout-2 = {http://people.cs.uu.nl/andres/VersionControl.html}, keywords = {version-control}, posted-at = {2009-08-27 04:04:12}, priority = {2}, title = {A Principled Approach to Version Control}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.8649} }

TY - UNPB ID - citeulike:5655826 L3 - citeulike-article-id:5655826 N2 - Abstract. Version control systems are essential for managing the distributed development of large software projects. We present a formal model for reasoning about version control. In particular, we give a general definition of patch. Patches abstract over the data on which they operate, making our framework equally suited for version control of everything from highly-structured XML files to blobs of bits. We model repositories as a multiset of patches. The mathematical definitions of patches and repositories enable us to reason about complicated issues such as conflicts and conflict resolution. 1 TI - A Principled Approach to Version Control KW - version-control AU - Löh, Andres AU - Swierstra, Wouter AU - Leijen, Daan UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.8649 ER -