• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Procedure mechanisms of abstraction
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
June 22, 2026
‘In Science, You Are Your Own Boss
Polina Nasledskova is interested in identifying gaps in linguistics and topics that have been overlooked by other researchers. In an interview for the  Young Scientists of HSE University project, she spoke about rare ordinal numerals in Nakh-Daghestanian languages, the benefits of knitting for concentration, and the beauty of the Patriarshy Bridge.
June 19, 2026
HSE Researchers Determine Which Internet Users Are More Likely to Fact-Check
Researchers at HSE University examined the strategies employed by Russian internet users to verify unreliable information and the factors that motivate them to do so. The study found that more than half of users who encounter potentially false information online attempt to verify it by locating the original source. The likelihood of fact-checking is influenced by several factors, including age, place of residence, social status, information literacy skills, and the use of AI. The findings have been published in Monitoring of Public Opinion: Economic and Social Changes.
June 5, 2026
'Im Used to Producing Distilled Knowledge'
Ivan Rubachev works in a HSE University laboratory established jointly with Yandex Research, where he focuses on machine learning with tabular data. In this interview with the HSE Young Scientists project, he discusses why following a vibe can be better than goal-setting, explains the concept of the Neural Turing Machine, and argues why withholding scientific knowledge is counterproductive.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

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

 

Language: English
Text on another site
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
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit