Вирт

Cтраница 1

Вирт при конструировании языка Эйлер исключил различие между инструкциями и выражениями, повсеместно допустив побочные эффекты, но в более поздней разработке языка Паскаль ( Вирт [19716]) вновь ввел это различие и одновременно запретил побочные эффекты в выражениях. [1]

Вирт называет его языком программирования с сильной типизацией. Однако в языке Паскаль отсутствует механизм, обеспечивающий возможность явного указания намерения нарушить правила строгого контроля типов, хотя для этого и имеются готовые средства - записи с вариантами. Поскольку в языке Паскаль отсутствуют средства, обеспечивающие контроль типов меток вариантов, то поля записей с вариантами представляют собой потенциальную опасность. Вирт пишет о потенциальной опасности отсутствия средств контроля типов меток вариантов, которое может стимулировать порочную практику программирования. [2]

Вирт занял бы противоположную позицию, которую кстати занимает сам автор. [3]

Вирт ( создание, языка программирования, удобного для обучения программированию), и специфики задач системного программирования, с точки зрения которой и проводится сравнительный анализ языков программирования в настоящей статье. И хотя успехи, достигнутые за время, прошедшее с момента появления языка Паскаль, в науке ( или, может быть, это искусство. [4]

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

Вирт получил степень доктора философии в Калифорнийском университете в Беркли в 1963 г. и был приглашенным профессором в Станфордском университете до 1967 г. С 1968 г. он является профессором Швейцарского государственного политехнического института в Цюрихе; с 1982 по 1984 г. он возглавлял в этом же институте факультет информатики. Последняя работа Вирта связана с конструированием и разработкой персонального компьютера Лилит в сочетании с использованием языка Модула-2. В своей лекции Вирт кратко излагает историю своих основных проектов, описывает их результаты и формулирует принципы, которые направляли его работу. [6]

Вирт и Клемено [39] обнаружили, что при давлениях 10 - 3 - 10 1 мм рт. ст. СН4, С2Н4, C3Hs имеют большую теплопроводность, чем Н2, N2, СЬ или Аг, и что с увеличением молекулярного веса теплопроводность углеводородов возрастает. [7]

Вирт ( Wirth), Альбрехт ( 1866 - 1936) - немецкий буржуазный историк, шовинист и расист, апологет германского империализма, автор ряда работ по вопросам мировой истории и политики. [8]

Плотность морской воды. [9]

Вирт и др. [6] указывают на связь плотности на разных глубинах с содержанием кислорода. [10]

Вирт также указывает на то, что назначение соответствующих средств одновременно поддерживает кровообращение. Командование немецкой фашистской армии в качестве фармакологического средства против отравления табуном имело соединение, названное B-S - раствором. По информации автора в санитарном снаряжении складов ОВ, где хранился табун, для оказания врачебной помощи отравленным табуном имелся раствор равных частей атропина и эфедрина ( 1-фенилметиламинопропанол - 1), предназначенный для инъекций. [11]

Виртом [ 18] и называется пошаговой детализацией. Это метод признается самой важной формализацией в программировании 70 - х годов. Он применим к разработке не только отдельных программ, но и больших программных комплексов. При использовании пошаговой детализации получаются программы, обладающие очень важным свойством, - им присуща структура. Программа представляет собой не аморфное нагромождение описаний и операторов, а набор логически связанных между собой компонентов. Бе легко понимать, модифицировать, к ней можно применять систематические методы доказательства и тестирования. Можно даже проследить историю ее разработки, что совсем немаловажно, поскольку использованные при разработке идеи часто дают необходимый импульс в новых разработках. [12]

Виртом на рубеже 60 - 70 - х годов, получил в настоящее время широкое распространение во всем мире. [13]

Виртом ( автором Паскаля) в 1979 г. и реализован впервые на мини - ЭВМ PDP-11 под управлением операционной системы RT-11. Имея сходный с Паскалем синтаксис, Модула-2 по многим возможностям стоит в одном ряду с языком Ада и является, по мнению ряда исследователей, единственной альтернативой языку Ада на микро - и мини - ЭВМ. [14]

Талант Вирта как разработчика языков программирования дополняется писательским даром. Полученный в результате элегантный и мощный метод описания представляет интерес и сегодня, даже несмотря на то, что восторги относительно Структурного программирования поубавились. [15]

Страницы: 1 2 3 4