Специфікація процедурної мови програмування

Автор(и)

  • Volodymyr Protsenko Національний університет «Києво-Могилянська академія», Ukraine

DOI:

https://doi.org/10.18523/2617-3808.2022.5.4-11

Ключові слова:

мова програмування, програма, процедура, оператор, вираз, синтаксис, денотат, семантична функція, Haskell, синтаксичний аналіз, інтерпретатор

Анотація

Розглянуто процедурну мову програмування, об’єкти якої – цілі змінні й процедури. Оператори мови – присвоєння, введення, виведення, умовний, циклу і блок. Головне призначення блоку – введення локальних цілих змінних і процедур. Процедура має параметри і тіло – оператор. Обчислює процедуру оператор виклику, аргументи якого цілі змінні. Наведено повну формальну специфікацію мови. На основі специфікації побудовано інтерпретатор мови програмування.

Біографія автора

Volodymyr Protsenko, Національний університет «Києво-Могилянська академія»

Проценко Володимир Семенович – кандидат фізико-математичних наук, доцент, доцент кафедри інформатики факультету інформатики Національного університету «Києво-Могилянська академія», v.protsenko@ukma.edu.ua

Посилання

  1. ISO/IEC 14977:1996 Information technology–Syntatic metalanguage – Extended BNF.
  2. Kurt, W. (2018). Get Programming with Haskell. Manning Publications.

##submission.downloads##

Опубліковано

2023-02-24

Як цитувати

[1]
V. Protsenko, «Специфікація процедурної мови програмування», NRPCOMP, т. 5, с. 4–11, Лют 2023.