Foundations of Object-Oriented Languages

丛 书 名：Lecture Notes in Computer Science

版本说明：1

I S B N：(纸本) 9783540539315 

出 版 社：Springer Berlin  Heidelberg 

出 版 年：1000年

页      数：X, 442页

主 题 词：Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs 

摘      要：Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems).