作者:[美] John C·Mitchell
出版社:Cambridge University Press
出版年:2002-10-15
评分:0.0
ISBN:9780521780988
所属分类:网络科技
Concepts in Programming Languages elucidates the central concepts used in modern programming languages, such as functions, types, memory management, and control. The book is unique in its comprehensive presentation and comparison of major object-oriented programming languages. Separate chapters examine the history of objects, Simula and Smalltalk, and the prominent languages C++ and Java. The author presents foundational topics, such as lambda calculus and denotational semantics, in an easy-to-read, informal style, focusing on the main insights provided by these theories. Advanced topics include concurrency, concurrent object-oriented programming, program components, and inter-language interoperability. A chapter on logic programming illustrates the importance of specialized programming methods for certain kinds of problems.
Part I. Functions and Foundations: 1. Introduction
2. Computability
3. Lisp: functions, recursion and lists
4. Fundamentals
Part II. Procedures, Types, Memory Management and Control: 5. The Algol family and ML
6. Type systems and type inference
7. Scope, functions and storage management
8. Control in sequential languages
Part III. Modularity, Abstraction and Object-Oriented Programming: 9. Data abstraction and modularity
10. Concepts in object-oriented languages
11. History of objects: simula and smalltalk
12. Objects and run-time efficiency: C++
13. Portability and safety: Java
Part IV. Concurrency and Logic Programming: 14. Concurrent and distributed programming
15. The logic programming paradigm and prolog by Krzysztof Apt
Appendix: additional programming examples
Glossary.
《一本书读懂互联网思维》内容简介:每个人都看得懂的互联网思维入门书。本书从互联网思维的定义到互联网思维应用的具体案例表现。
《超越谷歌:全球网脑新商机》主要内容简介:全球金融危机人人关注。金融危机证明了亚当•斯密提出的“看不见的手”已经失灵,人类
《OpenCV项目开发实战(原书第2版)》内容简介:本书内容精练、重点突出、示例丰富。作者用幽默风趣、简洁生动的语言,通过实际的编
《TypeScript项目开发实战》内容简介:本书是一本TypeScript进阶实践指南,通过9个实用项目,详细讲解如何使用TypeScript 3.0和不同
BookDescriptionReusablecomponentsandpatternsforAjax-drivenapplicationsAjaxisoneo...
本书是根据2003年的ISO/ANSIC++标准编写的,通过大量短小精悍的范例程序详细而全面地阐述了C十+的基本概念和技术,包括控制输入
新手电脑入门全程图解 本书特色 理性选择——“攒”机指南商务办公装机方案游戏狂人装机方案家庭娱乐装机方案cpu型号与名称之间的关系不可忽略的问题——双通道内存的...
Intendedforallreaders-includingmagicians,detectives,musicians,orthopedicsurgeons...
数据库系统工程师考试大纲 本书特色 数据库系统工程师是计算机技术与软件专业技术资格(水平)考试“信息系统”类的中级资格,于2020年审定通过并于2021年使用。...
Thankstoglobalizationanddigitalizationmoreandmoreaspectsofourbusinesslivesandlei...
《绘画文化:原住民高雅艺术的创造》内容简介:本书讲述了澳大利亚中部的丙烯绘画如何走出当地土著社群,并经过其他社会组织的宣传
《鬼谷子的局·第4季:鏖战中原(全两册)》内容简介:战国时期,在一座叫清溪鬼谷的山上(今河南省鹤壁市),隐居着一位被尊称为“
Thispracticalguideprovidesmorethan150recipestohelpyougeneratehigh-qualitygraphsq...
《淘宝与微店 :开店·运营·推广一册通》内容简介:超级畅销书《淘宝网开店、装修、管理、推广一册通》作者聚焦电商创业领域的又一
《大脑功能模式(型)理论》内容简介:在主客观事物情境模式不断刺激下,基因遗传决定的大脑生理结构和特性,建构各不相同的生理结
《深入解析SpringMVCgnWebFlow》是SpringMVC和WebFlow两个框架的权威指南,书中包括的技巧和提示可以让你从这个灵活的框架中汲取
《SRE:Google运维解密》内容简介:大型软件系统生命周期的绝大部分都处于“使用”阶段,而非“设计”或“实现”阶段。那么为什么我
《Oracle程序开发范例宝典》内容简介:本书紧密围绕编程人员在编程中遇到的实际问题和开发中应该掌握的技术,全面介绍了使用Oracle
《金元文选》内容简介:金代、元代散文存在宗唐、宗宋以及超越唐宋、直追秦汉的艺术追求,虽然成就不如唐宋散文,也出现了姚燧、元
本书全面而系统地介绍了安藤忠雄的作品,包括他从成名以来到现在的一些代表作以及他最新的一些作品。书中所用的图纸和资料都由安藤