Peter Van Roy is Professor in the Department of Computing Science and Engineering at Université catholique de Louvain, at Louvain-la-Neuve, Belgium.
Seif Haridi is Professor of Computer Systems in the Department of Microelectronics and Information Technology at the Royal Institute of Technology, Sweden, and Chief Scientific Advisor of the Swedish Institute of Computer Science.
发表于2024-12-26
Concepts, Techniques, and Models of Computer Programming 2024 pdf epub mobi 电子书
之前读过sicp以及和sicp比较相近的plai,所以虽然很早之前就知道这本书但一直没有下决心来读,怕是和sicp内容相近。如果因为这样的想法而错过这本书,那我一定会相当的遗憾了。 几年前刚开始接触funtional programming的时候感觉相当的震撼,原来程序是可以这么写...
评分托马斯·库恩在「科学革命的结构」中提到一个非常让人惊讶的观点:常规科学不过是致力于求解当前的某一知识领域中留下来的谜题,并非以创新为目标;它的目的不在事实或理论的新颖性。那一个不以创新为日常工作目标的领域是怎么做到持续的突破更新迭代的呢?答案也正在于这种工...
评分之前读过sicp以及和sicp比较相近的plai,所以虽然很早之前就知道这本书但一直没有下决心来读,怕是和sicp内容相近。如果因为这样的想法而错过这本书,那我一定会相当的遗憾了。 几年前刚开始接触funtional programming的时候感觉相当的震撼,原来程序是可以这么写...
评分托马斯·库恩在「科学革命的结构」中提到一个非常让人惊讶的观点:常规科学不过是致力于求解当前的某一知识领域中留下来的谜题,并非以创新为目标;它的目的不在事实或理论的新颖性。那一个不以创新为日常工作目标的领域是怎么做到持续的突破更新迭代的呢?答案也正在于这种工...
评分托马斯·库恩在「科学革命的结构」中提到一个非常让人惊讶的观点:常规科学不过是致力于求解当前的某一知识领域中留下来的谜题,并非以创新为目标;它的目的不在事实或理论的新颖性。那一个不以创新为日常工作目标的领域是怎么做到持续的突破更新迭代的呢?答案也正在于这种工...
图书标签: 计算机科学 programming 编程 计算机 程序设计 经典 Programming cs
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.
外行用来学习的,能理解逻辑,具体的细节没法深究了
评分外行用来学习的,能理解逻辑,具体的细节没法深究了
评分介绍的太宽泛。到是可以当梳理知识的线索。
评分介绍的太宽泛。到是可以当梳理知识的线索。
评分看到第9章了,搁置之,后面那些有空再看吧,因为兴趣不大了。与其勉强看完,不如暂别
Concepts, Techniques, and Models of Computer Programming 2024 pdf epub mobi 电子书