US Department of Defense: Ada reference manual, ANSI/MIS-STD 1815, Jan 1983. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (90 citations) (Correct)
....5.2. Packages and Abstract Data Types In order to illustrate the applicability of our notation to real programming languages, we indicate how records with function components may be used to model Ada packages and how existential quantification may be used to model data abstraction in Ada [D.O.D. 83] Consider the type Point1 for creating geometric points of a globally defined type Point from pairs of real numbers and for selecting x and y coordinates of points. type Point = Real Real type Point1 = makepoint: Real Real) Point, x coord: Point Real, y coord: Point Real Values ....
US Department of Defense: Ada reference manual, ANSI/MIS-STD 1815, Jan 1983.
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