О проблеме введения средств распределенного многоагентного программирования в логический язык со строгой типизацией

Суть принципа статической проверки типов в логическом языке. Проверка корректности применения объекта, полученного из другой программы. Расширение объектно-ориентированного логического языка Акторный Пролог, пособляющего распределенное программирование.

Подобные документы

  • Основы объектно-ориентированного программирования. Методы применения готовых компонентов для решения практических задач. Создание программы, реализующей процесс поиска и отслеживания положения экстремума простейших унимодальных функций с течением времени.

    курсовая работа, добавлен 23.06.2016

  • Связь логического программирования и языка Пролог. Принципы выбора формальной знаковой системы для записи компьютерных программ на основе абстрактного интерпретатора. Структура данных логических программ. Эффективность программирования на Прологе.

    реферат, добавлен 26.02.2015

  • Исследование понятия объекта, которое взято из объектно-ориентированного программирования. Характеристика сущности интерфейса класса. Рассмотрение особенностей инкапсуляции, которая означает объединение в единое целое данных и алгоритмов их обработки.

    доклад, добавлен 15.03.2017

  • Исследование истории появления технологий программирования, особенности структуры объектно-ориентированного его ответвления. Принципиальное различие между ним и структурным подходом. Понятия "объект" и "класс". Унифицированный язык моделирования UML.

    курсовая работа, добавлен 27.07.2013

  • История развития языков программирования. Понятие алгоритма и схемы алгоритмов. Характеристика языка Turbo Pascal. Классификация типов данных и операторов языка Turbo Pascal 7.0. Использование процедур и функций в программах. Программы обработки данных.

    учебное пособие, добавлен 13.06.2016

  • Технологии дистанционного доступа к информации. Использование объектно-ориентированного программирования при работе с динамическими данными. Создание классов с иерархической структурой. Цели и преимущества полиморфизма. Библиотеки визуальных компонентов.

    учебное пособие, добавлен 24.06.2014

  • Первые шаги автоматизации программирования и классификация его языков. Языки программирования высокого уровня: Кобол и Фортран. Создание Basic и Pascal. Языки искусственного интеллекта, объектно-ориентированного и визуального программирования: C++ и Java.

    презентация, добавлен 18.05.2014

  • Сравнение языка C# с другими языками программирования. Использование комментариев в формате XML. Полный список параметров компилятора. Создание информации отладки. Прочтение команд и опций компилятора из файла. Проверка на переполнения и опустошения.

    реферат, добавлен 26.05.2016

  • Рассмотрение понятия языка программирования для вычислительных машин (ЯП высокого и ЯП низкого уровней). Технологии программирования (структурное, модульное, объектно-ориентированное). Характеристика CASE-систем. Индустрия искусственного интеллекта.

    реферат, добавлен 01.03.2011

  • Основы процесса проектирования программы на языке С++, структурное, логическое и модульное программирование. Итерационные циклы и приближенные вычисления, структуры данных. Создание массивов и динамическое связывание. Объектно-ориентированные программы.

    учебное пособие, добавлен 23.04.2013

  • Наиболее влиятельные и популярные объектные или объектно-ориентированные языки программирования: Smalltalk, Object Pascal, Common Lisp Object System, Eiffel и Ada. История развития унифицированного языка моделирования. Использование базовых функций.

    курсовая работа, добавлен 07.05.2012

  • Разработка программ с использованием методики объектно-ориентированного программирования. Использование классов для создания очереди записи информации. Особенности добавления элементов и просмотра матриц. Тестирование программы, проверка интерфейса.

    контрольная работа, добавлен 09.04.2017

  • Методика обучения школьников программированию на языке Python с применением электронного курса. Содержание линии "Алгоритмизация и программирование" в современных учебниках информатики. Использование принципов объектно-ориентированного программирования.

    статья, добавлен 11.08.2021

  • Создание программы, которая содержит текущую информацию о книгах в библиотеке, с использованием средств объектно-ориентированного программирования среды C++. Составление алгоритма программы, которая обеспечивает формирование и вывод каталога файлов.

    курсовая работа, добавлен 21.12.2012

  • Характеристика и ключевые черты объектно-ориентированного программирования, его история и сущность инкапсуляции, наследования и полиморфизма. Процесс создания приложений с помощью языка ActionScript, особенности применения новой версии ActionScript 3.0.

    реферат, добавлен 08.07.2011

  • Элементы объектно-ориентированного программирования (ООП). Основные процедуры и функции для программирования тех действий по обработке данных, которые приходится выполнять многократно. Инкапсуляция и наследование. Динамическое создание объектов.

    реферат, добавлен 09.04.2017

  • Языки программирования и их разнообразие, диалекты, реализации и версии. Машинные коды, ассемблер - "сборщик", автокод. Фортран, лисп, кобол, алгол 60, бэйсик. Создание многоцелевого языка программирования. APL, лого, паскаль, пролог, си, ада, форт, java.

    презентация, добавлен 04.05.2012

  • Идея создания нового языка программирования. Практические задачи моделирования. Стандартная библиотека С++. Набор встроенных типов данных для представления целых и вещественных чисел, символов. Литералы целых типов. Оператор определения переменной.

    контрольная работа, добавлен 22.04.2013

  • Интегрированная среда разработки для языка программирования Java. История возникновения BlueJ. Поддержка обучения и преподавания объектно-ориентированного программирования. Автоматическое создание апплета скелета, генерация и загрузка страницы HTML.

    реферат, добавлен 01.08.2011

  • Программирование на языке Ассемблер. Эффективность языка программирования. Описание версий Ассемблера. Турбо Ассемблер фирмы Borland и его возможности. Пакет Макро Ассемблер: его программные компоненты и основные функции. Расширенный Ассемблер NASM.

    реферат, добавлен 16.09.2010

  • Общие понятия языков программирования. Процесс информатизации современного общества. Рассмотрение сущности термина "программа". История разработки и характеристика объектно-ориентированных языков программирования. Изучение алгоритмов создания программы.

    контрольная работа, добавлен 16.01.2016

  • Изучение структуры языка программирования баз данных SQL - мощного полнофункционального сервера баз данных, отличающегося высокой производительностью, быстротой освоения и удобным интерфейсом администрирования. Классификация типов данных в языке SQL.

    контрольная работа, добавлен 19.11.2009

  • Возникновение и эволюция C++. Компилируемый статически типизированный язык программирования общего назначения. Модульное, процедурно-ориентированное и объектно-ориентированное программирование. Право поддержки концепции и механизма абстракции данных.

    курсовая работа, добавлен 22.12.2013

  • Понятие языка программирования. Способы и методы оптимизации программы, аспекты структурного программирования и вычисления констант, понятие оптимизирующих компиляторов. Общая характеристика основных языков программирования, их отличительные черты.

    курсовая работа, добавлен 26.03.2009

  • Изучение интегрированной среды разработки программного обеспечения для платформ DOS и Windows 3.x. Описания встраивания в код на Паскале вставки на языке ассемблера. Исследование объектно-ориентированного программирования, поддержки оверлейных структур.

    доклад, добавлен 13.03.2011

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.