Exercises in style (alpha specifications)

Uri Abraham, Tamar Pinhas

Research output: Contribution to journalArticlepeer-review

Abstract

We compare two documents: the Alpha Architecture Reference Manual (from Compaq Computer Corporation) and the TLA+ specification of the Alpha memory model (by Lamport, Sharma, Tuttle, and Yu). We compare the styles, the languages employed, and the fundamental assumptions (that is the basic frameworks of the two texts). We conclude that the TLA+ specification is not so much a formalization of the Alpha Reference 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.

Original languageEnglish
Pages (from-to)107-135
Number of pages29
JournalFundamenta Informaticae
Volume54
Issue number2-3
StatePublished - 1 Feb 2003

Fingerprint

Dive into the research topics of 'Exercises in style (alpha specifications)'. Together they form a unique fingerprint.

Cite this