×

埃菲尔。语言。 (英语) 兹比尔0779.68013

伦敦:普伦蒂斯·霍尔国际。三十五、 第594页(1992年)。
许多研究人员和软件工程师认为,面向对象编程语言“Eiffel”在不久的将来将成为一种重要的现代语言。它是由其发明人伯特兰·梅耶博士和国际专家联盟NICE精心设计的;它继承了过去一些基本的、合理的语言发展,例如命名、程序结构、强类型、抽象数据类型和表示独立、公理化操作规范、信息隐藏、客户机-服务器契约原则、异常处理、灵活的继承模式、,未发现以前在其他语言中集成在一起。
这本书是对语言级别3的官方语言描述和定义(取代了以前的语言级别,并消除了一些误解和模糊性),对程序员和编译器实现者以一种合并的方式有用。
对于程序员来说,它提供了一个类似于教科书的讨论,讨论了语言特性、在程序中使用它们的基本原理,以及简洁程序设计所必需的形式。有许多背景信息涵盖了语言成就,例如,关于打字、信息隐藏、面向对象,不仅与埃菲尔的编程上下文相关。提供了大量示例和最有用的印刷指导系统(“路标”),以强调主要主题并识别可能的陷阱。由于要与实现者的信息进行合并,因此本文针对的是任何通用语言中的高级程序员,而不是编程方面的绝对新手。本书中的章节分别是附录A中的风格指南和附录D中对汇编类语言LACE的描述。
对于编译器的实现者来说,它是官方语言定义,以良好的平衡形式化材料(例如,语言的语法)和关于程序结构含义(语义)的措辞谨慎的语句显示。与上述定义部分合并的信息介绍了语言特征,解释了它们并给出了理由,这也将有助于实现者找到合适的实现方式。
Dr。迈耶《面向对象的软件构造》(Object-oriented Software Construction),1988年出版,引入了语言“Eiffel”(准确地说,是它的一级),已经成为过去关于编程语言设计和软件工程最有影响力的文献。这本书,“埃菲尔,语言”,肯定会得到类似的广泛考虑。

MSC公司:

68甲15 编程语言理论
68-01 与计算机科学相关的介绍性说明(教科书、教程论文等)

软件:

艾菲尔
PDF格式BibTeX公司 XML格式引用