Procedure mechanisms of abstraction

I. R. Agamirzyan, Ivanov A. S.

The article considers the use of the procedure mechanism with procedure type parameters in modular organization of programs and program systems. Descriptions of modules realizing various types of abstractions with the aid of this mechanism are demonstrated. The notion of a mixed abstraction is introduced and a method of its realization by the procedure mechanism is proposed.

Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 111, pp. 5–30, 1981

 

Keywords: абстрактные типы данных, функциональное программирование

In book

Journal of Soviet Mathematics

Springer, 1984.

Similar publications

Структурно-функциональное моделирование в нотации Event-driven Process Methodology как инструмент для генерации кода программ, имитирующих процессную деятельность

Mylnikov L., Saltykova A., Научно-техническая информация. Серия 2: Информационные процессы и системы 2024 № 12 С. 1–8

Рассматривается необходимость получения объективных оценок эффективности организации процессной деятельности на основе цифровых двойников. Описана методика установления соответствия между структурно-функциональными моделями в нотации EPM (Event-driven Process Methodology) и знаково-символьным описанием, которое может быть переведено на язык программирования на основе группы правил. Приведены примеры получения знаково-символьного описания и программ на языке R по заданной структурно-функциональной модели, а ...

Added: March 15, 2025

Программные системы гетерогенной архитектуры. Разработка информационных систем для интернет-ориентированной платформы

Zykov S. V., Ай Пи Ар Медиа, 2022.

Данное учебное пособие базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной архитектурной платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования в различных парадигмах. Целью издания является формирование адекватного взгляда на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе языка ...

Added: June 5, 2023

Программирование : учебник и практикум для академического бакалавриата

Zykov S. V., Юрайт, 2023.

Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. Первый раздел курса посвящен основам функционального подхода к программированию на основе языка F#, второй — основам объектно-ориентированного подхода на примере ...

Added: June 5, 2023

Функциональное программирование

Петренко А. А., Suvorov A., Шаякбаров Н. Ф., Пермь: Издательство Пермского национального исследовательского политехнического университета, 2022.

Рассмотрены вопросы, касающиеся языков функционального программирования: особенности применения, синтаксис, функции. Приведено большое количество содержательных примеров решения задач, демонстрирующих возможности языков функционального программирования. Предназначено студентам образовательных учреждений высшего образования, обучающимся по специальностям направлений «Информатика и вычислительная техника», «Программная инженерия», а также лицам, самостоятельно изучающим функциональное программирование. ...

Added: October 25, 2022

Model of optimal producer’s behavior in the presence of random moments of receiving loans and investment

Pospelov I. G., Zhukova A., , in: 2020 European Control Conference (ECC).: Institute of Electrical and Electronics Engineers Inc., 2020. P. 1129–1134.

This paper presents the approach to solving optimal control problems that appear in economic models using the Lagrange's multipliers method. This method is not as widely used as it might be, taking into accounts its benefits and convenience. The power of this method for intertemporal general equilibrium allows building complex structural models of the whole ...

Added: December 8, 2020

Метод архитектурно-независимого высокоуровневого синтеза СБИС

Легалов А. И., Непомнящий О. В., Рыженко И. Н., Известия ЮФУ. Технические науки 2018 Т. 202 № 8 С. 38–47

The problem of high-level design of complex functional circuits and systems intended for implementation in the form of VLSI is considered. The basic shortcomings of existing approaches are revealed and a conceptually new method of project synthesis is proposed. The method is based on the functional-streaming paradigm of parallel computing, it allows for implementation of ...

Added: October 29, 2020

Программирование. Функциональный подход. Учебник и практикум.

Zykov S. V., Юрайт, 2017.

Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированных сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учебника является формирование точки зрения на современную теорию и практику программирования. ...

Added: March 21, 2018

Functional reactive programming: from natural user interface to natural robotics behavior

Soshnikov D. V., Kirilenko I., , in: 10th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2014.: M.: Association for Computing Machinery (ACM), 2014.

Added: August 17, 2017

10th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2014

M.: Association for Computing Machinery (ACM), 2014.

Added: August 17, 2017

Процедурные механизмы абстракции

Agamirzian I., Иванов А. С., В кн.: Записки научных семинаров ЛОМИ.: Л.: Наука, 1981.

Рассматриваются механизмы моделирования абстрактных классов данных и структур управления через процедурные конструкции. ...

Added: February 8, 2017

Программирование: учебник для академического бакалавриата: в 2 т. / Т.1. Функциональный подход / Т.2. Объектно-ориентированный подход.— М.: Издательство Юрайт, 2015.— 320 с.— Серия: Бакалавр. Академический курс

Zykov S. V., М.: Юрайт, 2015.

Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную инте- грацию кода на языках программирования различных типов. Целью издания является формирование адекватного мировоззрения на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе языка F#. Вторая ...

Added: February 12, 2016

Программные средства поддержки практикума по функциональному программированию

Bolshakova E. I., Баева Н. В., Груздева Н. В., В кн.: Программные системы и инструменты: Тематический сборник, № 16.: М.: МАКС Пресс, 2015.

В данной работе характеризуются программные средства, разработанные в поддержку практикума по функциональному программированию, проводимого у студентов кафедры алгоритмических языков факультета ВМК МГУ. Программные средства включают интерпретатор для языка Рефал-2У, среду разработки рефал-программ, а также средство пошаговой интерпретации и визуализации выражений языка Хаскель. Реализованные средства предназначены в первую очередь для использования начинающими программистами – студентами 3 ...

Added: December 16, 2015

ОБУЧЕНИЕ ФУНКЦИОНАЛЬНОМУ ПРОГРАММИРОВАНИЮ ДЛЯ РАЗВИТИЯ АЛГОРИТМИЧЕСКОГО МЫШЛЕНИЯ СТУДЕНТОВ

Pavolotsky A. V., Левицкая Н. И., В кн.: Образование и наука: проблемы и перспективы развития.: Махачкала: Махачкалинский инновационный университет, 2014. С. 192–211.

В статье рассматриваются вопросы развития алгоритмического мышления студентов, изучающих информатику, на примере овладения ими технологий функционального программирования ...

Added: February 22, 2015

Функциональное и логическое программирование. Учебно-методическое пособие

Lesovskaya I. N., Kurak M. V., М.: Издательский дом ВВИА им. проф. Н.Е.Жуковского, 2005.

Added: November 24, 2008

Проектирование программ и программирование на С++

Vikentyeva O., Полякова О., Пермь: Пермский национальный исследовательский политехнический университет, 2012.

Рассмотрены вопросы, касающиеся объектно-ориентированного анализа и проектирования сложных программных систем, реализации объектно-ориентированных программ на ЯВУ С++: понятие классов и объектов, перегрузка операций, реализация абстракций данных, шаблоны классов, библиотека STL. ...

Added: February 21, 2013