On the Unification of Data and Program Abstraction in Ada

@inproceedings{Wegner1983OnTU,
  title={On the Unification of Data and Program Abstraction in Ada},
  author={Peter Wegner},
  booktitle={POPL},
  year={1983}
}
Ada is rich in the variety of its abstraction mechanisms. It has both a data abstraction mechanism (packages with private data types) that supports a functional programming style and a program abstraction mechanism (generic program units) that supports an object-oriented program style. Tradeoffs between data and program abstraction are examined and it is pointed out that Ada discourages program abstraction because program units are not first-class objects. It is shown how program units could be… CONTINUE READING