Typed intermediate languages for shape-analysis

Eugenio  Moggi (joint work with G. Belle')
DISI - Univ. di Genova, Italy

Thursday, March 20, 1997

WEH 5409        1:30pm-2:50pm

Abstract

We introduce S2, a typed intermediate language for vectors,
based on a 2-level type-theory, which distinguishes between
compile-time and run-time.  The paper shows how S2 can be used to
extract useful information from programs written in the Nested
Sequence Calculus NSC, an idealized high-level parallel calculus for
nested sequences.  We study two translations from NSC to S2. The most
interesting shows that shape analysis (in the sense of Jay) can be
handled at compile-time.

Host:  Robert Harper

For appointments, please contact Cleah Schlueter <cleah@cs.cmu.edu>