Premium
An experience in implementing abstract data types
Author(s) -
Banatre M.,
Couvert A.,
Herman D.,
Raynal M.
Publication year - 1981
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380110307
Subject(s) - computer science , compiler , programming language , structuring , data type , software , software engineering , abstract data type , reliability (semiconductor) , type (biology) , ecology , power (physics) , physics , finance , quantum mechanics , economics , biology
The abstract data type concept appears to be a useful software structuring tool. A project, called ‘Système d'Objets Conservés’, which was developed at the University of Rennes, (France), gave some experience in implementing this concept. The possibility of including abstract data type into a pre‐existing compiler is demonstrated, and desirable properties of the host language are exhibited. Provision of external procedures and data makes some type checking extensions necessary: these features increase software reliability.