Affiliations: University of Warsaw, Białystok Division
Note: [1] The results were presented at the symposium “Technology of Science”, Płock, Poland, June 26–28, 1982.
Abstract: In this paper, similarly to [1,4,17,20,21,29,30], abstract data types are understood as formalized many-sorted theories based on algorithmic languages (e.g. a language of algorithmic logic [2,16] or a language of dynamic logic [11,29]). Operations on data types, leading from (more) primitive types to compound types, are defined in terms of the interpretability theory (cf. Szczerba [25]). The approach proposed here to defining new types accords with the methods of introducing new classes of objects in programming languages like Simula 67, Pascal, Loglan, Ada.
Keywords: logics of programs, formalized algorithmic theories, data structures, interpretations between theories
