本書主要介紹計算的核心思想，采用的方法是為計算建立一系列概念模型。主要內容包括：構造過程抽象，構造數據抽象，模塊化、對象和狀態，元語言抽象，寄存器機器里的計算等。采用JavaScript作為實例分析，但并不拘泥于對語言的解釋，而是通過這種語言來闡述程序設計思想。第1章介紹了計算過程以及函數在程序設計中扮演的角色。第2章在第1章的基礎上提供了將數據對象組合起來形成復合數據，進而構造抽象的方法。第3章介紹了一些幫助我們模塊化構造大型系統的策略。第4章通過元語言抽象探究如何在一些語言的基礎上開發新語言的技術。第5章從寄存器機器的角度出發，通過設計寄存器機器，開發一些機制，實現重要的程序設計結構，同時給出一種描述寄存器機器設計的語言。本書揭示計算機程序設計思想的實質是改變了人們的思考方式：從命令式的觀點去研究知識的結構。因此，本書所闡述的設計思想不僅適用于計算機程序設計，而且適用于所有工程設計。