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