Непейвода Н.Н. Программирование. Раздел 1

Непейвода Н.Н. Программирование. Страница 88

В каждый момент практической деятельности нам нужна лишь часть из этих аспектов семантики программ, но зато конкретные проблемы часто требуют аккуратного выбора конкретного формализма. А в некоторых из перечис­ленных выше областей формализмов, различающихся по своим целям и возможностям, уже достаточно много. Поэтому для успешного применения накопленных мощных методов и орудий необходимо комплексное видение сложнейшей проблемы семантического описания алгоритмических языков и программ. Далее, часто, как и бывает в столь сложных и основательно проанализированных областях, приносит пользу не столько само по себе те­оретическое решение, сколько подсказанные им идеи либо выявленные при его анализе ограничения.

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

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

Задания для самопроверки

Вернитесь на стр. 66. Подумайте, в каких случаях и почему затра­ты на переписывание программы могут превысить 100% ее исходной стоимости?

Приведите пример на используемом Вами языке программирования, когда программа корректна при одних значениях прагматических па­раметров (прагматических комментариев, параметров трансляции или чегото другого, что используется в Вашей стандартной системе про­граммирования), а при других — успешно транслируется, но дает неверный результат.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама