We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...
Nick Benton, Andrew Kennedy, Martin Hofmann, Lenna...
In this paper we describe a diary study of how people read in the course of their daily working lives. Fifteen people from a wide variety of professions were asked to log their da...
Annette Adler, Anuj Gujar, Beverly L. Harrison, Ke...
: Three fast mutual exclusion algorithms using read-modify-write and atomic read/write registers are presented in a sequence, with an improvement from one to the next. The last alg...
In a database system, read operations are much more common than write operations, and consequently, database systems have been read optimized. As the size of main memory increases...
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...