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.
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.
托馬斯·庫恩在「科學革命的結構」中提到一個非常讓人驚訝的觀點:常規科學不過是緻力於求解當前的某一知識領域中留下來的謎題,並非以創新為目標;它的目的不在事實或理論的新穎性。那一個不以創新為日常工作目標的領域是怎麼做到持續的突破更新迭代的呢?答案也正在於這種工...
評分之前讀過sicp以及和sicp比較相近的plai,所以雖然很早之前就知道這本書但一直沒有下決心來讀,怕是和sicp內容相近。如果因為這樣的想法而錯過這本書,那我一定會相當的遺憾瞭。 幾年前剛開始接觸funtional programming的時候感覺相當的震撼,原來程序是可以這麼寫...
評分托馬斯·庫恩在「科學革命的結構」中提到一個非常讓人驚訝的觀點:常規科學不過是緻力於求解當前的某一知識領域中留下來的謎題,並非以創新為目標;它的目的不在事實或理論的新穎性。那一個不以創新為日常工作目標的領域是怎麼做到持續的突破更新迭代的呢?答案也正在於這種工...
評分這是一本和SICP有相似內容的書,粗略的瀏覽一下,書中設計到多種計算模型, 而這些計算模型都僅僅在SICP中作為介紹性的進行闡述,而在這本書上更具備體係化,我們可以將其稱之為: 編程範式(programming paradigm)的東西。
評分托馬斯·庫恩在「科學革命的結構」中提到一個非常讓人驚訝的觀點:常規科學不過是緻力於求解當前的某一知識領域中留下來的謎題,並非以創新為目標;它的目的不在事實或理論的新穎性。那一個不以創新為日常工作目標的領域是怎麼做到持續的突破更新迭代的呢?答案也正在於這種工...
看到第9章瞭,擱置之,後麵那些有空再看吧,因為興趣不大瞭。與其勉強看完,不如暫彆
评分外行用來學習的,能理解邏輯,具體的細節沒法深究瞭
评分介紹的太寬泛。到是可以當梳理知識的綫索。
评分看到第9章瞭,擱置之,後麵那些有空再看吧,因為興趣不大瞭。與其勉強看完,不如暫彆
评分說啥呢,看不懂
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有