Ббк 32. 973-018 г рецензент канд физ мат наук, Ф. А. Мурзин


ЯП с общей РП реализационно равнозначны, они сравнимы по трудоѐмкости реализации СП


Download 278.16 Kb.
bet16/68
Sana12.10.2023
Hajmi278.16 Kb.
#1700499
TuriКурс лекций
1   ...   12   13   14   15   16   17   18   19   ...   68
Bog'liq
FIT-Gor-PP3

ЯП с общей РП реализационно равнозначны, они сравнимы по трудоѐмкости реализации СП.


Выводы

    1. Поддержка ПП при определении ЯП и реализации СП выражается в реализации средств организации вычислений, механизмов обработки параметров и использования СД и их размещения в памяти, методов контроля за вычислениями и управления ходом вычислений. Успех применения ПП зависит от того, в какой мере используемые ЯСП поддерживают выбранную парадигму.

    2. Лексически близкие и синтаксически подобные ЯП могут иметь существенные различия на уровне семантики и реализационной прагматики.

    3. Диалекты ЯП часто бывают реализационно равнозначны, возможно семантически эквиваленты и равномощны, но различимы по эксплуатационной прагматике, лексике и синтаксису:

      • учебные концентры для ознакомления с основными идеями;

      • практичные подъязыки для программирования решений типовых задач;

      • проблемно-ориентированные вариации для расширения сферы применения;

      • полные языки для исследования и выбора улучшений.

Т а б л и ц а 1 0




Список понятий ЯП, различаемых операционной семантикой, определяемыми для сравнения



Понятие

Пояснение

Атом/Скаляр/Литерал

Атомы и скаляры могут быть разных категорий или
типов, различаемых динамически или декларативно.

Структура данных

Возможны ограничения на характер элементов
структуры, их число и динамику их изменений.

Переменная

Может быть инициирована до вычислений, ограничена предписанным типом данных, заданным статически или выводимым по программе.

Значение

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

Выражение

Форма, результат которой может быть вычислен и
использован как параметр в других формах.

Действие/Операция

Встроенная команда или подпрограмма,
рассматриваемая как элементарная база при организации вычислений.




Условие/Логика

Концепция истинностных значений может требовать как специального типа данных, так и рассматриваться как
нагрузка обычных значений (0, NIL).

Функция6

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

Аргумент

Фактический параметр используемой функции.

Вызов функции

Форма, используемая для исполнения функции при
заданных параметрах.

Определение функции

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

Идентификатор/Имя

Уникальная форма, создаваемая как синоним
многократно используемого элемента данных.

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



  1. В чем заключается основной метод обработки программы при отладке?

  2. Что показывает результативную активность программы?

  3. Когда принимается решение о продолжении незавершѐнных вычислений?

  4. В каких пределах планируется функционирование участков повторяемости?

  5. Каким способом гарантирована корректность сложной информационной обработки?




Download 278.16 Kb.

Do'stlaringiz bilan baham:
1   ...   12   13   14   15   16   17   18   19   ...   68




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling