The Power of Abstraction

Barbara Liskov, MIT, Stanford graduate

Addressing Complexity

Programming Methodology

  • How should programs be designed ?
  • How should programs be structured ?

The landscape

  • E. W. Dijkstra. Go to statement considered harmful. 1968.
  • N. Wirth. Program Development by Stepwise Refinement. Cacm, April 1971.
  • D.L. Parnas. Information distribution aspect of Design Methodology.

Modularity

  • A program is a collection of modules.
  • Each has an interface described by specification plus implementation.
  • A module's implementation is correct if it meets the specification.
  • A using module depends only on the specification.

Benefits

  • local reasoning
  • modifiability
  • independent development

Situation in 1970

Procedures were the only type of module

Partitions to ADT

  • Hierarchical Program Structures.
  • J.H. Morris. Protection in Programming Languages, Cacm. Jan 1973.
  • B. Liskov. Programming with Abstract Data Types. ACM Sigplan Conference on Very High Level Languages. April 1974.
  • Objects, operations

From ADTs to CLU

  • Static type checking
  • Heap based
  • Seperation compilation
  • No concurrency, no gotos, no inheritance.
最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

推薦閱讀更多精彩內(nèi)容