Процедуры
Процедуры
Процедуры в языках программирования используются в целях абстракции.
Абстракция – действие, состояние в выборе для дальнейшего изучения или использования небольшого числа свойств объекта и изъятие из рассмотрения остальных свойств, которые в данный момент не нужны.
Абстракция относительно процедур:
Что процедура делает – важно
Как она это делает – изымаем.
Построение процедуры – расширение языка путем включения новой операции.
Описание процедуры
Proc <идентификатор> (<спецификация параметров>,…< спецификация параметров >);
Рекомендуемые материалы
Способы передачи параметров:
1. by value передается только значение
2. by result
3. by value-result
4. by reference
5. by name текстовая подстановка
6. стек
Пример:
Prog
B[1]:=1
B[2]:=1
I:=1
P(B[I])
Proc P(x)
I:=1
x:=x+2
B[I]:=10
I:=2
x:=x+2
После выполнения
В[1] | В[1] | |
1 | 1 | 1 |
2 | - | - |
3 | 5 | 1 |
4 | 12 | 1 |
5 | 10 | 3 |
Лекция "3.11 Методы анализа больших систем" также может быть Вам полезна.
<спецификация параметров>:
value <спецификация параметров>: тип
result <спецификация параметров>: тип
proc <идентификатор> (<спецификация параметров>)
{P : предусловие } <тело> {Q : постусловие }
будем считать, что правильность процедуры доказана.