Search
for Author
All Reviews
Boehm, Hans
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Implementing multiple locks using Lamport’s mutual exclusion algorithm
Boehm H., Demers A., Uhler C. ACM Letters on Programming Languages and Systems 2(1-4): 46-58, 1993. Type: Article
The implementation of spin locks using Lamport’s fast algorithm for mutual exclusion [1] is described. A straightforward implementation of Lamport’s algorithm would replicate all of its variables, including the Bool...
...
May 1 1995
Side effects and aliasing can have simple axiomatic descriptions
Boehm H. ACM Transactions on Programming Languages and Systems 7(4): 637-655, 1985. Type: Article
The axiomatic approach to the formal definition of programming language semantics was founded by Hoare [1] and has been extended and refined over the years by numerous people. The author argues that the well-known difficulties pertaini...
...
Apr 1 1986
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy