Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
В роботі проводиться моделювання структур даних мов програмування та функцій над ними засобами композиційно- номінативних мов. Розглядаються всі імперативні конструктори типів RAISE. Надається модель типів, виражаються операції над даними та аналізується рівень абстрактності даних, на якому предст...
Збережено в:
Дата: | 2004 |
---|---|
Автор: | Панченко, Т.В. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2004
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/2335 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN/ Т.В. Панченко //Проблеми програмування. — 2004. — N 2-3. — С. 7-15. — Бiбліогр.: 14 назв. —укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004) -
Композиційні логіки номінативних даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003) -
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003) -
Realistic correct systems implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003) -
Узагальнена композиційна модель символьної обробки
за авторством: Винник, В.Ю.
Опубліковано: (2003)