Description of the Project

We can summarize our project objectives as follows. Concerning the Eiffel// language, our objectives are to:

specify the dynamic semantics of Eiffel//;
automatically detect the latent parallelism of sequential object-oriented systems (Eiffel);
define and prove formal transformations (from Eiffel to Eiffel//) in order to create or increase parallelism.

Concerning the Sisal language, our objectives are similar; more precisely, we want to:

specify the dynamic semantics of Sisal;
specify the semantics of Intermediate Formats (IF1, IF2);
develop and prove parallelization techniques (transformations and algorithms) for Sisal compilation.

Of course, as detailed below, Eiffel// and Sisal activities are not independent but rather closely integrated. Lastly, we intend to incorporate all the defined semantics and transformations into a program development and visualization environment for both Eiffel// and Sisal languages.

Eiffel// Semantics
Sisal Semantics
Intermediate Formats
Transformations
Tools Development

Project