zbMATH — the first resource for mathematics

Theoretical aspects of \(\Sigma\)-programming. (English) Zbl 0621.68021
Mathematical methods of specification and synthesis of software systems ’85, Proc. Int. Spring Sch., Wendisch-Rietz/GDR 1985, Math. Res. 31, 169-179 (1986).
[For the entire collection see Zbl 0588.00031.]
Many-sorted first-order theory of linear lists over abstract data structures is presented in the technical part of the paper. Some standard results, e.g. those concerning independence of axioms or completeness, are missing. The non-technical part contains a discussion of many, rather intuitively settled, ideas concerning applications to a variety of programming problems.
Reviewer: L.Brim

68Q65 Abstract data types; algebraic specification
68P05 Data structures