Nicodemus Msafiri John Mbwambo, Yu-Shan Sun, Joan Krone, Murali Sitaraman. Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position. In Kohei Arai, editor, Intelligent Computing - Proceedings of the 2022 Computing Conference, Volume 1, SAI 2022, Virtual Event, 14-15 July 2022. Volume 506 of Lecture Notes in Networks and Systems, pages 58-74, Springer, 2022. [doi]
Abstract is missing.