Eiffel: Analysis, Design and Programming Language

This document provides the full reference for the Eiffel language. Eiffel is a method of software construction and a language applicable to the analysis, design, implementation and maintenance of software systems. This Standard covers only the language, with an emphasis on the implementation aspects. As a consequence, the word “Eiffel” in the rest of this document is an abbreviation for “the Eiffel language”.
The Standard specifies:
  • The form of legal basic constituents of Eiffel texts, or lexical properties of the language;
  • The structure of legal Eiffel texts made of lexically legal constituents, or syntax properties;
  • Supplementary restrictions imposed on syntactically legal Eiffel texts, or validity properties;
  • The computational effect of executing valid Eiffel texts, or semantic properties;
  • Some requirements on a conforming implementation of Eiffel, such as the ability to produce certain forms of automatic documentation.

The Standard does not specify:
  • The requirements that a computing environment must meet to support the translation, execution and other handling of Eiffel texts;
  • The semantic properties of an Eiffel text if it or its data exceed the capacity of a particular computing environment;
  • The mechanisms for translating Eiffel texts into a form that can be executed in a computing environment;
  • The mechanisms for starting the execution of the result of such a translation;
  • Other mechanisms for handling Eiffel texts and interacting with users of the language.
Read More/Download
Labels:
Privacy Policy
 We use third-party advertising companies to serve ads when you visit our website. They uses cookies to serve ads on our site. These companies may use information (not including your name, address, email address, or telephone number) about your visits to this and other websites in order to provide advertisements about goods and services of interest to you. If you would like more information about this practice and to know your choices about not having this information used by these companies, click here
Disclaimer
Copyright of books and articles goes to its respective owners. In this blog, i am writing reviews about articles & books and giving free links available in world wide web. Intention of this blog is educative purpose and using contents from other sites as it is fair use. So if you have any complaints regarding books copyright, please contact book hosting servers for the removal of the book. we got all download links from the search engines and so we are not responsible for any damage due to the links given here. This is only for education purpose.