Contents
Contents
Project description
The existing components
Eiffel Semantics
Eiffel//
Sisal
Description of the Project
Eiffel// Semantics
Sisal Semantics
Intermediate Formats
Transformations
Tools Development
References