內容介紹
本書是圖靈獎獲得者Edsger W. Dijkstra在編程領域裡的經典著作中的經典。作者基於其敏銳的洞察力和長期的實際編程經驗，對基本順序程式的描述和開發中的許多關鍵問題做了獨到的總結和開發。書中討論了順序程式的本質特徵、程式描述和對程式行為（正確性）的推理，並通過一系列從簡單到複雜的程式的思考和開發範例，闡釋了基於嚴格的邏輯推理開發正確可靠程式的過程。本書寫於20世紀70年代中後期，但其對編程技術領域的開發、程式語言發展和程式理論研究的深刻影響持續至今。本書值得每個關注計算機科學技術的本質，冀求在程式和軟體領域有長遠發展的計算機工作者、教師和學生閱讀。
作者介紹
作者簡介：艾茲赫爾?戴克斯特拉（Edsger W. Dijkstra，1930年5月11日－2002年8月6日），生於荷蘭鹿特丹，自喻為荷蘭第一個以程式設計作為職業的人。他早年積極推動結構化程式設計，一生致力於將計算（computing）發展為一門科學，在計算機科學技術的諸多領域有開拓性建樹，並由於在程式設計基礎研究中的卓越貢獻獲得1972年圖靈獎。
作品目錄
序 IX前言 XI
第0章執行抽象 1
第1章程式語言的作用 13
第2章狀態及其特徵 19
第3章語義的性質 29
第4章一種程式語言的語義特徵 47
第5章兩個定理 73
第6章論完滿終止結構的設計 81
第7章再論歐幾里得算法 89
第8章幾個小例子的形式化處理 101
第9章論受限的非確定性 143
第10章有關記法的短論：“變數的作用域” 157
第11章數組變數 187
第12章線性檢索定理 209
第13章下一個排列 213
第14章荷蘭國旗問題 221
第15章更新順序檔案 233
第16章再論歸併 245
第17章來自R.W.HAMMING的一個練習 257
第18章模式匹配問題 269
第19章將一個數寫成兩個平方之和 279
第20章大數的最小素因子問題 285
第21章最孤立村莊問題 297
第22章最短子支撐樹問題 307
第23章記錄等價類的REM算法 321
第24章三維空間的凸包問題 335
第25章有向圖的最大強連通分支 383
第26章論手冊和實現 401
第27章跋 417
