Cтраница 3
При реализации программных систем задаются только спецификации типов. Композиция редуктов строится таким образом, чтобы покрыть как можно больше атрибутов типа спецификации требований. Если при этом некоторые атрибуты остаются не поддержанными, создается новый тип, содержащий такие атрибуты. В дальнейшем разработчик должен реализовать данный тип. [31]
Необходимо заметить, что в случае спецификации типа Н нужно указывать количество символов, в то время как при спецификации типа литерал это не требуется. [32]
При в / в логических данных используется спецификация типа L. Спецификация формата имеет вид Lw, где w - число позиций под данное. [33]
Конкретная часть родового типа рассматривается как часть спецификации конкретизированного типа. Это связано с тем, что после конкретизации параметры родового типа становятся атрибутами полученного конкретного типа. Например, тип массива является родовым типом, зависящим от параметров тип индекса и тип комп ( см. разд. Но если Тм - конкретный тип массива, то выражение Тм тип комп вырабатывает тип компонентов данного типа массива. [34]
Предполагается, что эти колонки пустые и что спецификация типа X используется просто для того, чтобы не делать соседние поля длиннее, нежели это необходимо. Однако если в этих колонках и было что-нибудь пробито, то они все равно будут игнорированы. [35]
Вариантный тип - это тип, содержащий как спецификацию типа, так и действительное значение. Один вариантный тип может содержать строку, другой - число. Такая гибкость достигнута высокой ценой: операции над вариантными типами выполняются значительно медленнее, чем над собственными типами, и, кроме того, вариантные типы используют больше памяти. [36]
Управляющие редакционные спецификации, - спецификация ( апостроф-спецификация или спецификация типа литерал) используется при передаче информации в виде текста, помещаемого в операторе задания формата между апострофами. Первый апостроф обозначает начало поля для текста, последний - конец этого поля. [37]
Тип данных Т сигнатуры Б - это пара: спецификация типа данных сигнатуры 2 и соответствующая ей реализация типа данных. [38]
Управляющие редакционные спецификации, - спецификация ( апостроф-спецификация или спецификация типа литерал) используется при передаче информации в виде текста, помещаемого в операторе задания формата между апострофами. Первый апостроф обозначает начало поля для текста, последний - конец этого поля. [39]
В стандарте ANSI ( An90) сказано, что когда для спецификации типа используется volatile, характер доступа к объекту этого типа зависит от реализации. Керниган и Ричи ( Ке88) указывают, что модификатор volatile должен использоваться для запрещения разного рода оптимизаций. [40]
Операция нужна исключительно для реализационных целей, поэтому ее нет в спецификации типа. [41]
Предложения явной спецификации типа REAL, INTEGER, DOUBLE PRECISION используются для спецификации типа и длины отдельных переменных. Предложение IMPLICIT употребляется для спецификации типа и длины всех переменных, начинающихся с задаваемой буквы или группы подряд идущих букв. [42]
При обращении к процедуре или функции первый идентификатор границы, заданный в спецификации типа индекса, обозначает наименьшее значение, заданное соответствующим типом индекса фактического параметра, а второй идентификатор границы обозначает наибольшее значение, заданное этим типом индекса. Объект, обозначаемый идентификатором границы, имеет постоянное-значение при данном обращении к процедуре или функции. [43]
Недостаточность равенств для построения реальных теорий ( что проявилось наглядно в проблеме спецификации типов данных), заставила исследователей расширять их дополнительными средствами. В [187], например, используется понятие формулы, которое определяется следующим образом: формула - это равенство или одна из следующих форм: Ф; Ф Фг. [44]