程式設計規範

《程式設計規範》是關於結構程式設計的權威著作，本書論述的結構程式設計學說是程式設計方法學的基礎。

基本介紹

• 書名：程式設計規範
• 作者：E.W.代克斯特拉
• 類別：結構程式設計
• 出版時間：1976年

內容簡介

關於結構程式設計的權威著作，1976年出版。作者E.W.代克斯特拉是結構程式設計的創始人。本書論述的結構程式設計學說是程式設計方法學的基礎。全書分兩部分，第一部分是基本理論，提出用最弱前置謂詞定義語義，並給出相應的結構程式設計語言。作者認為，程式設計是面向目標的推導過程，從問題的形式規定出發，採用逐步求精方法，逐步展開程式，同時作出正確性論證，最後可以獲得一個結構清晰和正確的程式。第二部分用大量實例闡明他的思想和使用的各種具體技術。在此書之後出版的一系列程式設計著作，都以這本書為理論基礎。