Cтраница 1
Абстракция данных, реализованная в языке Паскаль как механизм скалярных перечислимых типов, имеет очень большое значение, поскольку обеспечивает автоматизацию того, что при использовании других языков программирования должно выполняться вручную. При этом автоматизация существенно повышает надежность. [1]
Абстракция данных позволяет определить универсальные generic) действия, выглядящие с точки зрения пользователя одинаково, но реализующиеся специфическим образом в зависимости от типов объектов. Это упрощает программирование и сопровождение программ. Изменяя программу, не нужно делать изменения во всех местах, где используется данный тип. Достаточно внести изменения в определение типа. Это обстоятельство особенно важно в том случае, когда программы велики по размерам или когда над ними работают несколько программистов. [2]
Абстракцию данных можно рассматривать как процесс организации различных фрагментов информации в единые логические единицы ( возможно, иерархически), придавая ей при этом некоторую концептуально осмысленную форму. Каждая информационная единица должна быть легко доступна в программе. В идеальном случае все детали реализации такой структуры должны быть невидимы пользователю этой структуры. Самое главное в этом процессе - дать программисту возможность использовать информацию, не думая о деталях ее действительного представления. [3]
Абстракцию данных можно рассматривать как метод программирования, который облегчает работу со сложными структурами данных и вно-г сит большую ясность и наглядность в программы. В Прологе легко соблюдать основные принципы абстракции данных. [4]
Под абстракцией данных ( data abstraction) понимают отделение свойств данных от самих объектов данных. Под абстрактным типом данных ( abstract data type) понимается тип данных, который определен через применимые к данному типу операции независимо от того, как представлены значения объектов данного типа. [5]
Типы и абстракция данных в языках программирования: Обзор / / Данные в языках программирования. [6]
Пример введения агрегатного объекта.| Примеры рассматриваемых агрегатов ( а, б и результат их объединения ( в. [7] |
Обобщением называется абстракция данных, позволяющая трактовать класс различных подобных типов объектов как один поименованный обобщенный тип объекта. В обобщении подчеркивается общая природа объектов. [8]
Типы и абстракция данных в языках программирования / / Данные в языках программирования. [9]
Проделанный анализ возможностей абстракции данных в языке ПЛ / 1 позволяет утверждать, что некоторые идеи абстракции данных могут оказать положительное влияние на стиль программирования на языке ПЛ / i. Для этой цели подходят процедуры со многими точками входов. Структуры данных ( объекты) локализуются в таких процедурах. Операции над ними осуществляются через входные точки процедур, а структуры данных идентифицируются указателями. Правильность использования, указателей и защита данных могут быть осуществлены строгим соблюдением предложенной дисциплины программирования. [10]
Методы спецификации, используемые для абстракции данных / / Данные в языках программирования. [11]
Методы спецификации, используемые для абстракции данных. [12]
В данном подходе математическая формулировка абстракции данных базируется на формальной системе, называемой многосортной алгеброй. Многосортная алгебра применяется для исследования алгебраических систем, состоящих из множеств, называемых сортами, функций на данных множествах, а также из отношений между функциями, задаваемых в форме аксиом-равенств. В данном случае можно считать, что логика предикатов, использованная в разд. [13]
В языке Ада имеется два средства абстракции данных - это пакеты и ( удивительно, но это так) задачи. Пакеты являются в первую очередь средствами упрятывания информации и инкапсуляции данных. Пакеты состоят из двух частей - спецификации пакета и тела пакета. [14]
Уровни абстракции.| Другой подход к идее уровней абстракции. [15] |