Abstract data types are under full control with Ada 9X

  • Authors:
  • Magnus Kempe

  • Affiliations:
  • Swiss Federal Institute of Technology in Lausanne, Software Engineering Laboratory, EPFL-DI-LGL, CH-1015 Lausanne, Switzerland

  • Venue:
  • TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
  • Year:
  • 1994

Quantified Score

Hi-index 0.00

Visualization

Abstract

Ada 83 did not provide enough control on the creation, assignment, and destruction of objects of user-defined types. This lack of control restricted type composition and prevented the full exercise of information hiding for abstract data types. Ada 9X brings new mechanisms supporting the full control of abstract data types, powerful type composition, and more extensive information hiding. With better control of abstract data types, Ada code will be easier to write, understand, maintain, and reuse. Thus, applications written in Ada 9X will be safer.