作者:《Concepts, Techniques, and Models of Computer Programming》书籍
出版社:The MIT Press
出版年:2004-2-20
评分:8.1
ISBN:9780262220699
所属分类:网络科技
This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together. After an introduction to programming concepts, the book presents both well-known and lesser-known computation models ("programming paradigms"). Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. Specialized models include graphical user interface programming, distributed programming, and constraint programming. Each model is based on its kernel language--a simple core language that consists of a small number of programmer- significant elements. The kernel languages are introduced progressively, adding concepts one by one, thus showing the deep relationships between different models. The kernel languages are defined precisely in terms of a simple abstract machine. Because a wide variety of languages and programming paradigms can be modeled by a small set of closely related kernel languages, this approach allows programmer and student to grasp the underlying unity of programming. The book has many program fragments and exercises, all of which can be run on the Mozart Programming System, an Open Source software package that features an interactive incremental development environment.
《我家走出四博士》内容简介:本书是一部包括教育智慧、教育艺术的家庭教育指导书。本书作者李振霞在养育四个孩子的漫长过程中不断
单片机C语言程序设计实训100例-基于8051+Proteus仿真 内容简介 本书基于Keil μVision程序设计平台和Proteus硬件仿真平台,精心编写...
《Simulink仿真及代码生成技术入门到精通》围绕Simulink软件的仿真和代码生成技术,从原理上展开阐述,把握整体,注重细节,让读
《纳兰词》内容简介:他是王国维、梁启超、徐志摩盛赞的词人,留存于世的三百余篇词作中,“情”是贯穿始终的主题,“诗乃心声,性
《秋山集:故纸谈往录》内容简介:本书是李军老师对既往的追忆,是对秋的纪念,是对春的期待。正如《春水集》之名源于《纸上春水桃
虚拟货币现在已经渗透到了世界的每个角落。从《暗黑破坏神3》里的金币、Facebook积分到飞行常客里程数,都是虚拟货币的多种形式。
消费者主权的崛起推动了一场巨大的零售革命,这就是第三次零售革命。它将引领人类的新商业文明和全球经济增长的模式,不管是传统
《林语堂英文译创研究》内容简介:本书首先以译创者主体性研究为起点,将林语堂界定为译创者,分析其在双重身份作用之下的译创动机
《水样的春愁:郁达夫精读》内容简介:本书是郁达夫散文和小说的代表作合集,收录了他的名作《故都的秋》《北平的四季》《沉沦》《
被咬过一口的苹果残缺低调但却难掩光芒无论是偏执狂还是是残忍的完美主义者无论是创新迷还是神一样的传奇都不重要他就是乔布斯不
《实用卷积神经网络:运用Python实现高级深度学习模型》内容简介:本书从深度神经网络概述开始,通过一个图像分类的例子带你构建第
MATLAB数值计算-(2013修订版.中译本) 本书特色 本书《matlab数值计算(2013修订版)》经matlab、数值分析和科学计算之父clevemol...
软件设计师教程-全国计算机技术与软件专业技术资格(水平)考试指定用书-(第4版) 本书特色 本书作为中级职称的软考指定教材,具有比较权威的指导意义。本书根据《软...
《中国经济改革与发展研究报告(2017)》内容简介:本书以“创新:引领发展的第一动力”为主题,从产业升级、全要素生产率、增长动
Thistextidentifies,examines,andillustratesfundamentalconceptsincomputersystemdes...
HTML是网页制作的基础语言,是每个网页制作者必须掌握的内容。XHTML1.0是一种在HTML4.0基础上优化和改进的新语言,是基于XML的应
《生活在哪个朝代最郁闷》内容简介:历史并不重复,只是押韵而已。——马克·吐温 历史给我们的教训就是,人们从来都不知道汲取历史
本书包括:分子生物物理、生物膜及其物理性质、光生物物理、辐射生物物理、自由基生物学、生物电学与生物磁学、生物分子电子学、
《李小龙信札:功夫、表演和生命》内容简介:这本信札集记载了李小龙从赴美国求学到在香港逝世之间的十五年珍贵时光。在这些寄给家
你必须知道的495个-C语言问题 本书特色 《你必须知道的495个c语言问题》以问答的形式组织内容,讨论了学习或使用c语言的过程中经常遇到的一些问题。书中列出了...