Unison: A File Synchronizer and Its Specification.

Benjamin C. Pierce Jerome Vouillon

Published in: TACS (2001)

Keyphrases

database
file system
high level
formal verification
knowledge base
data structure
formal specification
specification language
real time
computer vision
metadata
image processing
decision trees
similarity measure
file organization