() СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание В 1998г. переименовано из LISP and Symbolic Computation. - ISSN 0892-4635 (Шифр V4503) Аннотация: Статьи по результатам исследований в области программирования при использовании функций высшего порядка и символьных вычислений: функциональное программирование и результаты; объектно-ориентированное программирование; параллельные, одновременные, распределенные, а также мобильные символьные и функциональные вычисления; программирование: понятия и абстракции - абстракция данных, ленивые вычисления, самоадресация, отображение, продолжения, компоненты, родовидовые функции, наследование, инкапсуляция, защита, сохранность, мета-объекты, протоколы связи и др.; теория языков программирования - семантика, специфицирование и умозаключение о программе, логика программирования, типы и тип с выводами; манипуляция с программами, базирующимися на семантике - компилирование, анализ, частичное вычисление, инструментальное оснвщение и другие преобразования программы; реализация и ее способы - специализированная архитектура, проектирование компилятора, комбинаторные модели, сбор ненужной информации ("мусора"), управление хранением, анализ эксплуатационных показателей; среда и средства программирования - средства программирования, базирующиеся на знаниях, средства искусственного интеллекта и средства отладки; применение - символьное вычислением при программировании реального времени, системы окон, пользовательский интерфейс, операционные системы и параллельные распределенные вычисления. journal link (full text - НТО-3) |
Шифр: V3868 (Журнал) Аннотация: Научный журнал. Статьи по всем аспектам использования информационных технологий во всех типах библиотек: автоматизация библиотек, цифровые библиотеки, метаданные, управление персональными данными, распределённые системы и сети, компьютерная безопасность, право интеллектуальной собственности, технические стандарты, географические информационные системы, настольная прикладная система, инструментальные средства поиска информации, библиотечные веб-услуги, облачные вычисления, электронная сохранность, хранение данных, виртуализация, оптимизация механизма поиска, появляющиеся новые технологии, социальные сети, открытые данные, семантическая паутина, мобильные услуги и их применение, удобство использования, универсальный доступ к технологии, объединения библиотек, и др. journal link |