Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN

Abstract

В роботі проводиться моделювання структур даних мов програмування та функцій над ними засобами композиційно- номінативних мов. Розглядаються всі імперативні конструктори типів RAISE. Надається модель типів, виражаються операції над даними та аналізується рівень абстрактності даних, на якому представляються ті чи інші структури.Programming languages data structures and functions over them modelling is conducted in this paper via Composition-Nominative Languages. All RAISE data type imperative constructors are researched here. Type model is given here. Operations over data are expressed here. Abstractness level for all data structure presentations is analysed here too.