1. Define a lattice taxonomy for Models of Parallel Computation
(MOPC) with order on abstraction
2. An MOPC is characterized by a set of attributes each of which has two values.
Each attribute is a choice of whether or not each property is explicitly
specified or generated by the compiler and runtime system
3. A MOPC is evaluated by informal, qualitative cost metrics.