Teapot: Language Support for Writing Memory Coherence Protocols.

Satish Chandra Brad Richards James R. Larus

Published in: PLDI (1996)

Keyphrases

definition language
memory usage
case study
programming language
knowledge management
data sets
neural network
database systems
natural language
decision support
privacy preserving
modeling language
concurrent programming