Cтраница 2
Проблемы, связанные со строгим контролем типов при раздельной трансляции в языке Паскаль, удается избежать, запретив раздельную трансляцию. И хотя значительное число реализаций трансляторов с языка Паскаль допускает раздельную трансляцию, в каждом отдельном случае при этом используются различные пути достижения этого, обеспечивающие различную степень строгости проверки типов. [16]
Стандарт ISO на язык Паскаль [2] не включает возможности проведения раздельной трансляции. [17]
Хотя язык Паскаль и достаточно маленького размера, отсутствие в нем возможности проведения раздельной трансляции и доступа к аппаратным средствам делает бессмысленным дальнейшее обсуждение языка Паскаль с точки зрения решения задач системного программирования. [18]
Использование в качестве основного входного языка в мониторной системе Дубна Алгола-ГДР дает возможность раздельной трансляции процедур, использования программ ( в том числе их общих библиотек), написанных на других языках ( Фортран, Мадлен), развитого аппарата ввода, выхода и работы с текстовыми величинами. [19]
Программа состоит из ведущей программы н па-бора подпрограмм ( процедур), причем возможна их раздельная трансляция. Изменение текстуального порядка исполнения осуществляется посредством простых и вычисляемых переходов и о метке, условных операторов, циклов и вызовов процедур. [20]
Язык Ада позволяет легко создавать библиотеки, содержащие подпрограммы и пакеты, вследствие наличия возможности раздельной трансляции. Сильная типизация язьпса Ада гарантирует, что библиотечные подпрограммы и пакеты, как и любые другие подпрограммы и пакеты будут использованы в строгом соответствии с их спецификациями. Доступ к библиотекам в языке Ада достаточно прост. [21]
Наличие возможности автоматического выявления такого рода ошибок исключительно ценно, особенно в тех случаях, когда осуществляется раздельная трансляция вызываемой и вызывающей программных единиц. [22]
Транслятор накладывает ограничения на размеры и число модулей исходного текста, а в некоторых случаях не допускает раздельную трансляцию и объединение отдельных модулей, в связи с чем программист должен объединять модули на уровне исходного текста. [23]
В языках Ада и Си обеспечивается возможность введения в область их действия идентификаторов извне, что требуется для раздельной трансляции. [24]
Проблемы, связанные со строгим контролем типов при раздельной трансляции в языке Паскаль, удается избежать, запретив раздельную трансляцию. И хотя значительное число реализаций трансляторов с языка Паскаль допускает раздельную трансляцию, в каждом отдельном случае при этом используются различные пути достижения этого, обеспечивающие различную степень строгости проверки типов. [25]
Сильная типизация гарантирует, что программные единицы будут использованы в строгом соответствии с их спецификациями независимо от того, использовалась или нет раздельная трансляция. Кроме того, сильная типизация предотвращает программиста от внесения в программные единицы произвольных изменений, которые могут привести к тому, что эта программная единица перестанет соответствовать своим спецификациям. Более того, тело программной единицы обязано соответствовать спецификации этой программной единицы, т.е. той спецификации, на которой основано использование этой программной единицы другими программистами. [26]
Кроме того, языки программирования могут обеспечивать проверку соответствия типов фактических и формальных параметров при обращении к подпрограммам, в том числе и в случае использования раздельной трансляции. [27]
Транслятор ТА-1М обладает достаточно высокой скоростью трансляции ( 120 - 200 команд в минуту); получаемые в результате трансляции рабочие программы по эффективности, времени счета и объему лишь в 1 5 - 2 5 раза уступают соответствующим программам в машинных кодах, составленным программистом средней квалификации. Возможна раздельная трансляция отдельных частей программы, а также отладочный режим выпол-н Инйя программы. На широкую печать ( АЦПУ-128) выдается текст исходной алгольной программы, результаты счета, сооб - Щегря об ошибках как на этапе трансляции, так и счета. [28]
Конечно, каждый модуль транслируется отдельно - как головной модуль, являющийся главной программой, так и подчиненные модули - подпрограммы или функции. Преимущество раздельной трансляции в том, что все части программы ( маленькие модули) хорошо изолированы друг от друга. [29]
Перетрансляция всей программы в результате внесения изменений в одну из ее строк оказывается весьма утомительной. Наличие механизма раздельной трансляции с проверкой соответствия типов или без нее является просто обязательным для разработки больших программ. [30]