首页 | 本学科首页   官方微博 | 高级检索  
     


Programming by successive refinement of data abstractions
Authors:James B Morris
Abstract:The Model Programming Language implements a form of data abstraction that has been used in a large programming project, the Demos Operating System. The use of the abstraction mechanism suggests a particular programming style that has evolved over an extensive period of gaining experience with the language. The programming style and Model's approach to data abstraction are both documented here using an example designed to illustrate several of the more important issues. The goal of the paper is to demonstrate a programming style and an approach to data abstraction in a programming language that has proved useful in a significant systems programming application.
Keywords:Abstraction  Data abstraction  Data type  Type-checking  Hierarchical program development  Structural programming
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号