https://github.com/cmeiklejohn/pve

Predecessor vectors with exceptions for Erlang.
https://github.com/cmeiklejohn/pve

Last synced: about 2 months ago
JSON representation

Predecessor vectors with exceptions for Erlang.

• Host: GitHub
• URL: https://github.com/cmeiklejohn/pve
• Owner: cmeiklejohn
• Created: 2016-03-03T19:34:51.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2016-03-27T03:34:40.000Z (almost 9 years ago)
• Last Synced: 2024-10-26T08:56:30.317Z (2 months ago)
• Language: Erlang
• Homepage:
• Size: 786 KB
• Stars: 2
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
## Concise Version Vectors

or, Predecessor Vectors (with, and without exceptions)

## Details

An implementation of the ideas in [Concise Version Vectors in WinFS](http://research.microsoft.com/apps/pubs/default.aspx?id=64677) by Dahlia Malkhi and Douglas B. Terry. (DISC 05)

Repository contains:

* KVS implementation for exploring ideas related to paper.

* EQC test for KVS.

* Implementations of predecessor vectors and predecessor vectors with exceptions.