Cтраница 1
Определение типа данных как множества операций, создающих и анализирующих некоторое множество значений, данное в разд. Как отмечено в [150], такое определение наиболее полезно, так как оно может быть использовано в различных методах спецификаций. Но когда выбран определенный подход ( в нашем случае алгебраический) для формального описания типов данных, необходимо выразить основные понятия типов данных в его терминах и тем самым заложить основу для их исследований средствами этого подхода. [1]
Согласно определению типа данных, приведенному в разд. В простейшем случае ( ручная проверка) эта операция выдает тип данных лишь как сомнительный объект, который подлежит тестированию и отладке; в более совершенном случае она содержит в себе верификатор и вырабатывает результат только в том случае, если предложенная реализация типа полностью удовлетворяет всем аксиомам. [2]
Использование механизма определения типов данных ( например, такого, как в Паскале) означает, что количество типов, с которыми имеет дело вычислитель, не известно заранее, и уже нельзя ограничиваться простым перечислением специальных случаев. Новые проблемы вносит механизм определения произвольных ( инкапсулированных) и родовых типов данных. Простейшее решение каждое определение типа вводит новый, отличный от других тип в языке Ада привело к необходимости выработки множества правил для установления соответствия конкретных и родовых типов. [3]
Более того, определение типа данных как многоосновной алгебры плохо согласуется с понятием типа данных в языках программирования, где тип всегда связывается с одной основой и относящимися к ней операциями. [4]
Существует два вида определений типов данных: перечислением и указанием интервала, каждое из которых предполагает соответствующий способ обработки данных. [5]
Параметры встроенной функции ИНФОРМ. [6] |
Информационные функции предназначены для определения типа данных, хранимых в ячейке. Возвращают значения ИСТИНА или ЛОЖЬ. [7]
В язык также включена возможность определения несвободных типов данных. [8]
Таблица идентификаторов, таблица литералов - используются для определения типа данных и адресов переменных ( операнды матрицы) при генерации соответствующих кодов доступа с правильными адресами. [9]
Процесс исследования рынка предполагает четыре этапа: 1) определение типа данных, необходимых для анализа; 2) поиск данных; 3) анализ данных; 4) выработка мероприятий, позволяющих на основе этих данных правильно организовать сбыт. [10]
Одним из следствий этого подхода является некоторая зацикленность в определении типов данных. Так, например, ОПИСАНИЕ есть некоторое имя слота, и, следовательно, эта сущность есть пример ИМЯ СЛОТА-СХЕ-МА. Но в этой схеме, как в каждой другой, есть имя слота ОПИСАНИЕ, определяющее, что представляет собой это имя слота. [11]
Общий вид записи, выведенной на экран с помощью экран-нон формы. [12] |
При добавлении в формат ввода полей шаблоны устанавливаются автоматически в соответствии с определением типов данных в полях. Но иногда бывает удобно изменить первоначальную установку. Например, поле TREB хоть и является символьным, но должно содержать только цифровые символы. Поэтому шаблон должен выглядеть как 999999, а не ХХХХХХ. При новом шаблоне ошибочный ввод нециф-рового символа в это поле невозможен. [13]
Теория, представленная в нашей книге, и язык программирования Модула-2 предполагают некоторые методы определения типов данных. В большинстве случаев новые типы данных определяются с помощью ранее определенных типов данных. Значения такого нового типа обычно представляют собой совокупности значений компонент, относящихся к определенным ранее составляющим типам, такие значения называются составными. [14]
Снобол 4 имеет простые, но гибкие средства, позволяющие программисту определять и использовать структуры данных новых типов. В общих словах, определение типа данных описывает класс неоднородных линейных массивов фиксированного размера, обращение к элементам которых осуществляется с помощью цепочек литер в качестве индексов. В определении самого типа данных указывается лишь имя типа, длина массивов этого типа и индексы элементов в каждом массиве. [15]