Foundations of Object-Oriented Languages 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

☆☆☆☆☆
简体网页||繁体网页

Kim B. Bruce 作者

The MIT Press

译者

2002-03-21 出版日期

404 页数

USD 50.00 价格

Hardcover

丛书系列

9780262025232 图书编码

Foundations of Object-Oriented Languages 在线电子书图书标签: pl 计算机科学软件开发计算编程语言理论程序设计

喜欢 Foundations of Object-Oriented Languages 在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-10-02

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

Foundations of Object-Oriented Languages 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Foundations of Object-Oriented Languages 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

Foundations of Object-Oriented Languages 在线电子书用户评价

评分☆☆☆☆☆

Foundations of Object-Oriented Languages 在线电子书著者简介

Kim B. Bruce is Frederick Latimer Wells Professor of Computer Science at Williams College.

Foundations of Object-Oriented Languages 在线电子书图书目录

Foundations of Object-Oriented Languages 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

Foundations of Object-Oriented Languages 在线电子书图书描述

In recent years, object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C++ and Java enjoy wide use in academia and industry. This text explores the formal underpinnings of object-oriented languages to help the reader understand the fundamental concepts of these languages and the design decisions behind them.The text begins by analyzing existing object-oriented languages, paying special attention to their type systems and impediments to expressiveness. It then examines two key features: subtypes and subclasses. After a brief introduction to the lambda calculus, it presents a prototypical object-oriented language, SOOL, with a simple type system similar to those of class-based object-oriented languages in common use. The text offers proof that the type system is sound by showing that the semantics preserves typing information. It concludes with a discussion of desirable features, such as parametric polymorphism and a MyType construct, that are not yet included in most statically typed object-oriented languages.

Foundations of Object-Oriented Languages 在线电子书下载 mobi epub pdf txt 在线电子书下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!