Refining Santa: An Excercise in Efficient Synchronization
Authors: Emil Sekerinski and Shucai Yao
Paper Information
| Title: | Refining Santa: An Excercise in Efficient Synchronization |
| Authors: | Emil Sekerinski and Shucai Yao |
| Proceedings: | REFINE REFINE proceedings |
| Editors: | Brijesh Dongol, John Derrick and Steve Reeves |
| Keywords: | Refinement, Synchronization, The Santa Claus Problem, Concurrent objects |
| Abstract: | ABSTRACT. The Santa Claus Problem is an intricate exercise for concurrent programming. This paper outlines the refinement step to develop a highly efficient implementation with concurrent objects, starting from a very simple specification. The efficiency of the implementation is compared to three other languages. |
| Pages: | 16 |
| Talk: | Jul 18 16:00 (Session 129I) |
| Paper: |  |