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

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

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

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

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

  • Язык логического программирования KL0. Взаимосвязь логического программирования и языка Пролог. Логическое программирование на Лиспе. Базовые типы языка KL0. Размер элементов массива и диапазон значений элементов строки. Алгоритм лисповских функций.

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

  • Свойства объектно-ориентированного языка программирования. История появления, цель и этапы объектно-ориентированного программирования, его базовые понятия: "объект", "инкапсуляция", "наследование", "полиморфизм". Использование виртуального метода.

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

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

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

  • Особенности языка логического программирования Visual Prolog, характеристики его нестандартных доменов и командного меню. Рекурсия и итерация в языке Пролог, обработка структур данных. Организация многооконного меню и основы работы с файловой системой.

    лабораторная работа, добавлен 14.10.2014

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

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

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

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

  • Разработка приложения "Калькулятор" с применением объектно-ориентированного программирования. Обзор основных понятий концепции объектно-ориентированного программирования. Изучение языка программирования Java. Оценка результатов тестирования программы.

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

  • Основные языки логического программирования. Программирование на чистом Прологе. Проблема завершения программ, избыточные решения, порядок целей и правил. Языки логического программирования KL0 и "ShapeUp". Разработка и эффективность программ на Прологе.

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

  • Определение объектно-ориентированного программирования (ООП) как методологии программирования, основанной на представлении программы в виде совокупности объектов. История возникновения ООП. Delphi, как объектно-ориентированный язык программирования.

    отчет по практике, добавлен 18.02.2019

  • Разработка программы, основанной на идее наследования классов, основные принципы объектно-ориентированного программирования. Реализация наследования посредством написания программы на языке С++. Разработка программы с использованием абстрактного класса.

    отчет по практике, добавлен 18.02.2019

  • Изучение основных возможностей и базовых понятий языка Пролог и Лисп. Характеристика принципов построения программ на языке функционального и логического программирования. Реализация определенной структуры данных и рекурсивной программы вычисления.

    лабораторная работа, добавлен 07.02.2013

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

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

  • История создания и основные этапы развития языка программирования Пролог. Источники создания программы: логика предикатов 1-го порядка, теория рекурсивных функций, методы логического вывода. Сущность констант и переменных. Отличия от Visual Prolog.

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

  • Принципы, свойства и методы объектно-ориентированного программирования. Настройки языка программирования ActionScript: параметры отступов, табуляции, кодировки. Возможности языка Flash-сценария (скрипта), редактирование текста. Суть объектной модели.

    лабораторная работа, добавлен 04.06.2009

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

    курс лекций, добавлен 01.10.2014

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

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

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

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

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

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

  • Анализ возможностей использования кода Java совместно с императивным, структурированным языком программирования со строгой статической типизацией переменных. Главные этапы разработки игрового приложения. Функционально-информационные компоненты игры.

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

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

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

  • Использование средств объектно-ориентированного программирования языка Javascript для разработки веб-приложения, работающего в режиме реального времени. Структура данных и элементы программы. Тестирование веб-приложения. Основные системные требования.

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

  • История разработки первого объектно-ориентированного языка программирования Simula 67. Появление современных языков программирования: C++, Smalltalk, Eiffel. Рассмотрение пяти типов операций: конструктор, деструктор, модификатор, селектор, итератор.

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

  • Объект и класс как основа объектно-ориентированного языка программирования. Методология построения и использования принципов объектно-ориентированного программирования и программирования под Windows на языке C++ при проектировании систем управления.

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

  • Рассмотрение исторических этапов развития технологий и языков программирования. Характеристика языков объектно-ориентированного программирования. Реализация основных объектов и концепций объектно-ориентированной технологии программирования на языке С++.

    дипломная работа, добавлен 25.05.2018

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