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