|
Annotation: The article discusses various aspects of abstract data types (ADT) in programming. Awareness of the concept of ADT in the mid 70s of last century led to a number of papers on the theory of programming. The concept of abstract data types at the moment is one of the most popular abstraction mechanism used by developers to write software. The paper deals with the basics of the mathematical theory that describes the abstract data types as algebraic systems. On the basis of ADT’s signatures are constructed so-called initial algebra – the syntactic representation of an ADT entities. An initial algebra can be used to verify the correctness of the code.
Keywords: abstract data types; ADT; algebraic specifications; programming theory |
