Synchronous/reactive programming of concurrent system software /
Bruce R. Montague and Charles E. McDowell

Description

Tools

Cite this Export citation file

Main Author: Montague, Bruce R
Related Names: McDowell, Charles Edward, 1952-
University of California, Santa Cruz. Computer Research Laboratory
Language(s): English
Published: Santa Cruz, CA (Applied Sciences Bldg., University of California, Santa Cruz, Santa Cruz 95064) : Computer Research Laboratory, [University of California, Santa Cruz, 1995]
Subjects: Multitasking (Computer science)
Systems software
Computer programming
Physical Description: 32 p. : ill. ; 28 cm
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of California

View HathiTrust MARC record

Similar Items

A class of synchronization operations that permit efficient race detection

Author: Helmbold, David
Published: 1993

What is a race in a program and when can we detect it?

Author: Helmbold, David
Published: 1993

A taxonomy of race detection algorithms

Author: Helmbold, David
Published: 1994

A taxonomy of race conditions

Author: Helmbold, David
Published: 1994

Detecting unexpected data values in optimized code

Author: Copperman, Max.
Published: 1990

Computing reachable states of parallel programs

Author: Helmbold, David.
Published: 1990

Debugging concurrent programs

Author: McDowell, Charles Edward, 1952-
Published: 1988

A practical algorithm for static analysis of parallel programs

Author: McDowell, Charles Edward, 1952-
Published: 1988

Representing reachable states of a parallel program

Author: McDowell, Charles Edward, 1952-
Published: 1989

Detecting data races by analyzing sequential traces

Author: Helmbold, David.
Published: 1990