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. |
Year | Venue | Keywords |
---|---|---|
2003 | Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1 | alpha specification,compaq computer corporation,alpha memory model,alpha architecture reference manual,alpha specifications,fundamental assumption,different framework,basic framework,alpha reference manual,alpha reference manual text,memory model |
Field | DocType | Volume |
Architecture,Programming language,Computer science,Memory model | Journal | 54 |
Issue | ISSN | Citations |
2-3 | 0169-2968 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Uri Abraham | 1 | 56 | 13.91 |
Tamar Pinhas | 2 | 14 | 2.81 |