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