Вы здесь

Главная

тип данных

Связанные издания:

Абстрактные структуры для и от данных
Абстрактные типы данных для манипулирования виртуальными информационными структурами систем автоматизации проектирования ЭВМ
Абстрактные типы данных и частичная корректность программ
Автоматическое восстановление типов в задаче декомпиляции
Аксиоматическая теория именных множеств и моделирование структур экспликативного программирования
Активные типы данных
Алгоритм распознавания достаточной полноты алгебраической спецификации абстрактного типа данных
Ассоциированные типы и распространение ограничений на параметры-типы для обоб енного программирования на Scala
База знаний для кластер-анализа многомерных данных
Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ
Генерация выполняемого кода для языка алгебраических спецификаций
Граф как тип данных
Децентрализованные хранилища данных: технологии построения
Использование информации, полученной при выполнении программы, для повышения качества восстановления типов данных при декомпиляции
Категории типов данных
Конструирование базы данных на основе концепции абстрактных типов данных
К формализации типа "поток"
Механизм абстракций в машинно-ориентированной системе программирования ВК ЭВМ
Множественные типы для моделирования данных в объектно-ориентированных системах
Недоопределенные множества - новый тип данных для представления знаний
Некоторые аспекты реализации алгебраических структур на языке С++
Об алгоритме доказательства свойств абстрактных типов данных
Об унификации типов данных
Объектно-ориентированное программирование на языке Oberon-2
О природе и классификации типов данных
О проектировании программного обеспечения АСУ ТП в рамках метода МСПП
О расширении языка СЕТЛ программно-определяемыми типами данных
Отношения между типами данных
От типов данных к схемам баз данных
О языке программирования ЯРМО-3
Пошаговая разработка корректных программ посредством процедурной реализации абстрактных типов данных
Применение недоопределенных типов данных в базах знаний
Проблемы унифицированной реализации стандартных и произвольных типов данных
Программирование ЭВМ. Вып.5: Системное программирование и абстрактные типы данных
Программные средства на основе недоопределенных типов данных
Распространение интервальных ограничений с динамическим изменением типов данных
Система программирования Атлант (технический проект). Часть 1
Системы программирования баз данных и знаний. Язык DBPL
Спецификация абстрактных типов данных с помощью систем подстановок термов
Спецификация абстрактных типов данных с помо ью систем подстановок термов
Средства конструирования спецификаций абстрактных типов данных и их применение к анализу схем программ
Статистические вычисления в программах
Структурированные алгебраические спецификации
Теоретические и прикладные аспекты алгоритмики
Теория и практика фабрик программных продуктов
Терминологический словарь понятий проблематики абстрактных типов данных
Тип данных поток как средство трансформационного синтеза эффективных функциональных программ
Типы данных как структурные объекты
Унифицированная реализация системы типов языка программирования баз данных
Унифицированная реализация системы типов языка программирования баз данных