Synchronization Mechanism for Modular Programming Language

Any programming language that supports concurrency needs a synchronization construct with which to express access control for shared resources. This thesis examines synchronization constructs from the standpoint of language design for reliable software. The criteria a synchronization mechanism must...

Full description

Bibliographic Details
Main Author: Bloom, Toby
Other Authors: Liskov, Barbara H.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149498