Judy Bishop. Data Abstraction in Programming Languages. Addison--Wesley, 1986. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First Order Data Types and First Order Logic - Treinen (1991) (Correct)
....: 18 5. 2 Compactness : 19 6 Decidability Questions 22 1 Introduction The use of modules for data abstraction is now a well established principle in software design, see for instance [Bis86]. From the programmers point of view a module is a piece of encapsulated software that propagates only a well defined subset of its data structures and operations to its environment, we call this the export part of the module. Outside the module these data structures and operations are accessible ....
Judy Bishop. Data Abstraction in Programming Languages. Addison--Wesley, 1986.
First Order Data Types and First Order Logic - Treinen (1991) (Correct)
....: 18 5. 2 Compactness : 19 6 Decidability Questions 22 1 Introduction The use of modules for data abstraction is now a well established principle in software design, see for instance [Bis86]. From the programmers point of view a module is a piece of encapsulated software that propagates only a well defined subset of its data structures and operations to its environment, we call this the export part of the module. Outside the module these data structures and operations are accessible ....
Judy Bishop. Data Abstraction in Programming Languages. Addison--Wesley, 1986.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC