![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Процедурне програмування подає програму у вигляді набору алгоритмів, для оформлення яких можуть застосовуватися іменовані програмні блоки — процедури і функції. В останньому випадку передбачається наявність механізмів передачі параметрів і поверненні результату.
Для представлення даних використовуються стани пам’яті. Змінні або імена можуть бути типізованими або ніі, а їх значення беруться з областей даних, які визначаються як абстрактні або конкретні типи.
Алгоритми в процедурних мовах програмування представляються як композиції операторів присвоювання, що змінюють стани пам’яті. В процесі розвитку процедурної парадигми ще в 60-70-х роках з’ясувалось, що всі різновиди композицій зрештою зводяться до чотирьох основних: присвоювання, послідовної композиції, умовного оператора та умовного циклу. Це призвело до відкриття Глушковим В. М. алгебри алгоритмів, яка лягла в основу структурного програмування. Кожна процедурна програма визначає деяке часткове перетворення на множині станів пам’яті.
Стратегія виконання цього перетворення (операційна семантика) являє собою послідовність кроків, кожний з яких перевіряє умову і реалізує оператор присвоювання. Ця стратегія визначається структурою програми майже однозначно.
Розглянемо коротко семантичні проблеми для процедурних (імперативних) програм.
Дата публикования: 2015-09-18; Прочитано: 2084 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!