ABSTRACT DATA TYPES AS MANYSORTED ALGEBRAIC SYSTEMS

Authors

  • Сергій Лук'янович Кривий TARAS SHEVCHENKO NATIONAL UNIVERSITY OF KYIV

Keywords:

Abstract data types, manysorted algebra, algebraic systems, completeness

Abstract

The image of abstract data types is examined as manysorted algebraic systems. The abstract data tape as stack, queues, priority queues, binary trees and set are examined in details.

Author Biography

Сергій Лук'янович Кривий, TARAS SHEVCHENKO NATIONAL UNIVERSITY OF KYIV

PhD., Professor of Information Systems Department of the Taras Shevchenko National University of Kyiv. His research interests include discrete mathematics, automata theory, Petri nets, methods of software development and verification.

References

Кривий С. Л. Абстрактні типи даних як многоосновні алгебраїчні системи. ж. Інженерія програмного забезпечення. - 2010. - N 3. - C. 5-18.

Кривий С.Л. Дискретна математика: вибрані питання. Київ : Видавничий дім "Києво-Могилянська академія. - 2007. - 570 с.

Фостер Дж. Обработка списков. - М. : Мир. - 1979. - 535 с.

Hein J.L. Discrete Mathematics - Sudbury, Massachusetts: Jones and Bartlett Publishers: -1995. -656 p.

Ахо А., Хопкрофт Дж., Ульман Дж. Построение и

анализ вычислительных алгоритмов - М. : Мир. - 1979. - 535 с.

Ахо А., Хопкрофт Дж., Ульман Дж. Структуры данных и алгоритмы - М.: Издат. дом «Вильямс» - 2000. - 382 с.

Седжвик Р. Фундаментальные алгоритмы на C++ Части 1--4. - M.: DiaSoft, 2002. – 687 с.

Downloads

Issue

Vol. 4 No. 4 (2010)

Section

THEORETICAL BASES OF SOFTWARE ENGINEERING