Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Exercises in Style (Alpha Specifications) Uri Abraham and Tamar Pinhas

Summary: Exercises in Style (Alpha Specifications)
Uri Abraham and Tamar Pinhas
Departments of Mathematics and Computer Science,
Ben-Gurion University, Be'er-Sheva, Israel
March 28, 2003
We compare two documents: the Alpha Architecture Reference Man-
ual (from Compaq Computer Corporation) and the TLA+
of the Alpha memory model (by Lamport, Sharma, Tuttle, and Yu). We
compare the styles, the languages employed, and the fundamental assump-
tions (that is the basic frameworks of the two texts). We conclude that
the TLA+
specification is not so much a formalization of the Alpha Ref-
erence Manual text as it is a translation into a different framework. We
believe that a formalization of the Alpha Reference Manual can be useful,
and we propose one.
1 Introduction
The Wildfire Verification Challenge was posted on the World Wide Web at URL


Source: Abraham, Uri - Departments of Computer Science & Mathematics, Ben-Gurion University


Collections: Mathematics; Computer Technologies and Information Sciences