In this section, we describe the existing components of the project: the semantics of Eiffel we already have expressed in Natural Semantics, and the two languages we study, Eiffel// and Sisal.
