Documentation for the User
(back to welcome page)
This directory contains various types of documents on MMAlpha.
Technical documents:
The Alpha syntax
The MMAlpha reference manual (44 pages).
This document contains a description of all commands and functions
available on MMAlpha.
Reports on Alpha:
Regular array synthesis using Alpha (14 pages).
This document explains the philosophy of Alpha. Unfortunately, the commands
shown in the paper do not always work, as modifications have been made
in MMAlpha since this document was written....
The Alpha language (22 pages). This document
contains a rather formal description of the Alpha language. Another
good introduction is Christophe Mauras thesis.
Hierarchical Static Analysis of
Structured Systems of Affine Recurrence Equations (10 pages). A
paper about static analysis with parameters and subsystems, published
in ASAP96.
About subsystems (10 pages).
Introduces the definition and use of subsystems. More recent
documents (but with less examples) are the two papers below.
Structuration of the Alpha Language (7
pages). Describes the use construct and details the inlining
procedure. Published in MPPM95.
Structured Systems of Affine Recurrence
Equations and their Applications (22 pages). Basically a (shorter)
english version of Florent's thesis. Submitted to Toplas in sept 97.
Libraries of Schedule-Free Operators in Alpha (10 pages). A paper about the first experiments on binary expansion in Alpha (replacing operators on real scalar types with subsystems implementing them at the bit level). Published in ASAP'97.
Code generation from Alpha (18 pages)..
The polyhedral library (45 pages). All
you dreamed to know about polyhedra...
Loop nest synthesis using the polyhedral library (8 pages).
This document is rather technical, and explains how one can enumerate the
points of a convex polyhedron.
Other documents:
The Alpha to Alpha0 translator
About the Alpha to CNF translator
The Alpha simulator (this simulator should
be used with care, as there are several bugs...)
Some info on the Alpha to MadMacs
translator
Content of this directory
Last modification on: November 3, 1995.
To get more info
Tanguy.Risset@irisa.fr