Refining Santa: An Exercise in Efficient Synchronization
Programming Languages
2018-10-24 v1 Logic in Computer Science
Software Engineering
Abstract
The Santa Claus Problem is an intricate exercise for concurrent programming. This paper outlines the refinement steps to develop a highly efficient implementation with concurrent objects, starting from a simple specification. The efficiency of the implementation is compared to those in other languages.
Cite
@article{arxiv.1810.09613,
title = {Refining Santa: An Exercise in Efficient Synchronization},
author = {Emil Sekerinski and Shucai Yao},
journal= {arXiv preprint arXiv:1810.09613},
year = {2018}
}
Comments
In Proceedings Refine 2018, arXiv:1810.08739