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...
Main Author: | Bloom, Toby |
---|---|
Other Authors: | Liskov, Barbara H. |
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149498 |
Similar Items
-
Programming Language Techniques for Modular Router Configurations
by: Kohler, Eddie, et al.
Published: (2023) -
A modular programming language for engineering design
by: Coffee, Thomas Merritt
Published: (2008) -
Synthesizing Modular Invariants for Synchronous Code
by: Pierre-Loic Garoche, et al.
Published: (2014-12-01) -
Dynamic Module Replacement in a Distributed Programming System
by: Bloom, Toby
Published: (2023) -
Dynamic module replacement in a distributed programming system
by: Bloom, Toby
Published: (2005)