Synthesis of Synchronization Code for Data Abstractions
| dc.contributor.advisor | Liskov, Barbara H. | en_US |
| dc.contributor.author | Laventhal, Mark Steven | en_US |
| dc.date.accessioned | 2023-03-29T15:02:22Z | |
| dc.date.available | 2023-03-29T15:02:22Z | |
| dc.date.issued | 1978-07 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149491 | |
| dc.description.abstract | Synchronization code is necessary to control shared access of an abstract data object in a parallel-processing environment. This thesis explores an approach in which a synchronization property can be specified in a high-level nonprocedural language, and an implementation for the specified property can be synthesized algorithmically. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-203 | |
| dc.title | Synthesis of Synchronization Code for Data Abstractions | en_US |
