作者:[美] 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.
《纳兰词集》内容简介:清代词坛中兴,名家辈出,其中以纳兰性德最引人注目,国学大师王国维赞其“北宋以来,一人而已”。纳兰词以
Avisualfeastof400dazzlingimages,thisisacomprehensivesurveyofthegenreoverthelastc...
《精通Web标准建站:标记语言、网站分析、设计理念、SEO与BI》将建站所需要掌握的各种知识分门别类、依照建站的顺序分部分排列,而
构造系统在软件开发过程中处于核心地位,它的正确性和性能,在一定程度上决定了软件开发成果的质量和软件开发过程的效率。本书作
DigitalCommunicationReceiversSynchronization,ChannelEstimation,andSignalProcessi...
《政德论:心理结构与伦理行动的二重维度》内容简介:本书在梳理“政德”内涵的历史演进的基础上,从伦理结构、心理结构和道德领导
《用户体验草图设计工具手册(全彩)》是《用户体验草图设计》的配套阅读图书,将指导你如何一步一步地用草图来表达你的设计理念
3天学会电脑维修-(附赠多媒体光盘1张) 内容简介 在电脑的故障中,有80%左右是人为故障,即由于使用不当造成的,正确的使用习惯是电脑的保护神。使用不当包括电脑...
在这本新书《实现模式》里面,KentBeck将自己多年形成的编程习惯以及阅读既有代码的体验凝练成了编程中的价值观、原则和77种实现
计算理论是计算机科学的理论基础。《计算理论基础》(第2版)介绍了计算理论最核心、最基本的内容,包括形式语言与自动机、可计算性
《张洁文集·散文随笔卷》内容简介:《散文随笔卷》在阅读过程中不仅能品味这些佳作的散文随笔卷思想性、艺术性,而且还能从中明白
網路可以說是自電腦發明後,最重要的發明了。網路不僅形成了一種新的通路與媒體,網路更與我們的日常生活息息相關。因此一個網站
《近代安徽族田研究》内容简介:本书对近代安徽族田进行较为系统全面的研究,主要是从清代、民国时期政府族田政策的变迁和族田助学
《半小时漫画《史记》4》内容简介:史记本来就是故事会,读起来一点都不累!陈磊(笔名:混子哥)领街的半小时漫画团队通过诙谐的语
《考试高手》内容简介:本书完整地提供了从复习步骤、考前冲刺到考后规划等一系列实操工具和普适方法,曾帮助大量学习者一次性通过
互联网的未来-光荣.毁灭与救赎的预言 目录 译者序引言**部分可繁殖网络的兴起和停滞**章盒子的战争第二章网络的战争第三章网络安全与自我繁殖的两难第二部分停滞之...
《写给架构师的Linux实践》内容简介:本书首先概述Linux项目的设计方法,然后讲解在设计此类项目时,所要注重的核心理念,以及在用
《中国美学通史(第2卷·汉代卷)》内容简介:《中国美学通史》是关于中国历史上美学思想的发展史,它不同于审美文化史、审美风尚史
《15天学会JavaScript(视频教学版)》内容简介:本书从技术和实际应用场景相结合的角度出发,结合当下热门技术(JavaScript、ECMA
《中国简史》内容简介:本书是吕思勉写作的一本中国史入门读物,用通俗简洁的语言讲述了中国五千年历史脉络。全书内容深入浅出,条