關於
Barbara Liskov 是麻省理工學院的美國電腦科學家，在程式語言設計、軟體工程與分散式系統領域有奠基性貢獻。她提出了 Liskov 替換原則，這是物件導向程式設計的基石，主張子類型的物件應可替換其基礎類型的物件。她在 CLU 語言上的研究引入了資料抽象與迭代器的概念。她榮獲 2008 年圖靈獎。
主要貢獻
- 設計 CLU，將資料抽象、迭代器與例外處理帶入實用程式語言設計
- 提出 Liskov 替換原則，成為物件導向系統中檢驗行為相容性的持久標準
- 打造 Venus、Argus、Thor 等具影響力系統，將程式語言思想連到作業系統、分散式運算與資料庫
- 透過複製與拜占庭容錯研究推進分散式系統
- 因將抽象化變成建構可靠軟體的具體工具，獲得 2008 年圖靈獎
- 她的工作之所以基礎，是因為它像安靜的基礎設施：許多開發者每天使用，卻未必知道來源
影片與訪談
Barbara Liskov: Programming the Turing Machine
Liskov's Turing Award lecture on the evolution of programming languages
View Details
The Power of Abstraction | Barbara Liskov
Lecture on data abstraction and its impact on software engineering
View Details
Turing Award Winner: Data Abstraction, Dijkstra, Distributed Systems | Barbara Liskov
Liskov reflects on data abstraction, Dijkstra's influence, and her work in distributed systems
View Details思想連結
Margaret Hamilton
思想同道電腦科學家與軟體工程先驅
兩位 MIT 的電腦科學家，從不同的一端押了同一個注：軟體值得信任，靠的是它的結構，而不是事後的測試。Liskov 用的是抽象——以行為來定義資料型別，並訂下一條任何做得好的部件都必須遵守的替換原則。Hamilton 用的是她所說的「事前開發」——把定義做到足夠完整，程式碼可以直接從定義產生。兩人的相近在方法，不在任何共同的計畫。
youtube.com
約翰·麥卡錫
受其影響電腦科學家與 AI 之父
Liskov 1968 年在史丹佛取得博士學位，是美國最早獲得電腦科學博士的女性之一，指導教授是 約翰·麥卡錫。論文是一個下西洋棋殘局的程式，她為此設計的「殺手啟發法」（killer heuristic）至今仍用在博弈樹搜尋中。之後她離開 AI，轉向程式本身的結構——資料抽象、CLU 語言、替換原則。她的路，從這個領域的奠基者出發，走向讓大型軟體得以被建造的那門學問。
en.wikipedia.org · chessprogramming.org
