Foundations of Object-oriented Languages
Author: Kim B. Bruce
Publisher: MIT Press
Published: 2002
Total Pages: 416
ISBN-13: 9780262025232
DOWNLOAD EBOOKA presentation of the formal underpinnings of object-oriented programming languages.
Read and Download eBook Full
Author: Kim B. Bruce
Publisher: MIT Press
Published: 2002
Total Pages: 416
ISBN-13: 9780262025232
DOWNLOAD EBOOKA presentation of the formal underpinnings of object-oriented programming languages.
Author: Theo D'Hondt
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 241
ISBN-13: 1461504139
DOWNLOAD EBOOKThe TOOLS EE (Technology of Object-Oriented Languages and Systems Eastern Europe) conference series combines the experience with object technology and its applications in industrial environments, with an academically-oriented vision. They offer a meeting place for Eastern European experts and practitioners, and their colleagues from all over the world. Technology of Object-Oriented Languages, Systems and Architectures is a compilation of contributing papers presented at TOOLS Eastern Europe 2000 and 2002, respectively, second and third conference in this series. Both conferences were held in Eastern Europe, more specifically in Sofia, Bulgaria. Technology of Object-Oriented Languages, Systems and Architectures is designed to meet the needs of a professional audience composed of in computer science and engineering.
Author: Carl A. Gunter
Publisher: MIT Press
Published: 1994
Total Pages: 568
ISBN-13: 9780262071550
DOWNLOAD EBOOKAlthough the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs.The fifteen chapters are divided into five parts: Objects and Subtypes, Type Inference, Coherence, Record Calculi, and Inheritance. The chapters are organized approximately in order of increasing complexity of the programming language constructs they consider - beginning with variations on Pascal- and Algol-like languages, developing the theory of illustrative record object models, and concluding with research directions for building a more comprehensive theory of object-oriented programming languages.Part I discusses the similarities and differences between "objects" and algebraic-style abstract data types, and the fundamental concept of a subtype. Parts II-IV are concerned with the "record model" of object-oriented languages. Specifically, these chapters discuss static and dynamic semantics of languages with simple object models that include a type or class hierarchy but do not explicitly provide what is often called dynamic binding. Part V considers extensions and modifications to record object models, moving closer to the full complexity of practical object-oriented languages.Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania. John C. Mitchell is Professor in the Department of Computer Science at Stanford University.
Author: Oscar Marius Nierstrasz
Publisher: Prentice Hall PTR
Published: 1995
Total Pages: 392
ISBN-13:
DOWNLOAD EBOOKSoftware -- Software Engineering.
Author: Bertrand Meyer
Publisher:
Published: 1992
Total Pages: 328
ISBN-13:
DOWNLOAD EBOOKThe eighth in the TOOLS (Technology of Object-Oriented Languages and Systems) series, this book illustrates new developments in object-oriented software engineering, showing how widely the method is now applied, and how researchers and engineers are raising and tackling new problems.
Author: Jean Bézivin
Publisher: Prentice Hall PTR
Published: 1991
Total Pages: 420
ISBN-13:
DOWNLOAD EBOOKThis conference proceeding provides a comprehensive look into the state of the object-oriented art. Based on the contributions to TOOLS 4, it covers every major aspect of the technology. As the major international forum devoted entirely to the practical applications of object-oriented technology, this guide reveals the latest practical developments in the hottest area in the software field. It describes industrial applications leading to actual products . . . results of increased practical experience with O-O methods and tools (even from those still at the prototype stage) . . . and offers a deeper appreciation the problems involved. The Tools 4 meeting was held in Paris in March 1991.
Author:
Publisher:
Published: 1990
Total Pages: 460
ISBN-13:
DOWNLOAD EBOOKAuthor: Boris Magnusson
Publisher:
Published: 1994
Total Pages: 564
ISBN-13:
DOWNLOAD EBOOKAuthor: Maher Awad
Publisher: Prentice Hall
Published: 1996
Total Pages: 312
ISBN-13:
DOWNLOAD EBOOKDescribes the OCTOPUS method which provides a systematic approach for developing object-oriented software of embedded real-time systems. The text provides solutions to may important problems such as: concurrency; synchronization; communication; ASICS; and
Author:
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Published: 1998
Total Pages: 410
ISBN-13: 9780818690969
DOWNLOAD EBOOKThis text on the technology of object-oriented languages and systems covers such topics as: software development models; language design and implementation; concurrent objects; object-oriented applications; distributed objects and agents; and software development tools and environments."