Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 581 - 600 из 2154.
Упорядочить по:
URL
|
дате изменения
581. Actor Prolog. Programming language definition.
. Alt . KOI8 . 1251 . ??? ?€? . ?ўє?Юі?ґ?? . ??Ю??ґК . ??? . ?ґє??А . ?ў?ўИЛ
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/09010300.html -- 2.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
582. Actor Prolog. Programming language definition.
... Обработка сообщения (processing of message) - фаза исполнения процесса - действия, осуществляемые процессом в случае получения сообщения . ... Описатель порта (declarator of port) - ключевое слово , с помощью которого задается сорт порта . Описателями портов служат ключевые слова " suspending " и " protecting ", обозначающие " отключающий " и " защищающий " соответственно. ... Поступление отключающего потокового сообщения на любой отключающий порт процесса вызывает отключение этого процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030142.html -- 10.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
583. Actor Prolog. Programming language definition.
Фаза исполнения процесса (phase of execution of process) - законченный период исполнения процесса , соответствующий обработке процессом некоторого сообщения или изменению состояния процесса . После успешного окончания фазы исполнения процесса осуществляется фиксирование процесса . Факт (fact) - предложение , в составе которого отсутствуют подцели . ... Фиксирование терма (fixation of term) - заменена спейсером # всех несвязанных переменных в составе терма . ... 2) Определение портов процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030148.html -- 7.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
584. Actor Prolog. Programming language definition.
В этом файле перечислены все изменения, которые были внесены в текст определения языка от 31 мая 1996 года: . ... Внесены изменения в разделы "Недоопределенные множества" и "Атомарные формулы". ... Внесены изменения в список терминов и определений, в разделы "Введение", "Определение данных", "Списки", "Собственные предложения", "Атомарные формулы", "Сводка синтаксиса языка", "Список понятий языка". ... Morozov A.A. Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/03000100.html -- 17.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
585. My Ph.D. thesis.
.
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/09030000.html -- 2.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
586. Actor Prolog. Programming language definition.
... Передача сообщения (message passing) - последовательность действий, реализующая распространение информации из одного процесса в другие. ... Перекрытие инициализаторов (overriding of initializers) - осуществляется в ходе построения слотов экземпляра класса во время исполнения простого конструктора экземпляра класса - замена инициализаторов слотов в определении атрибутов класса другими инициализаторами , заданными в конструкторе или в классах , являющихся потомками рассматриваемого. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030143.html -- 29.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
587. Actor Prolog. Programming language definition.
. Хвост (tail) - остаток списка или недоопределенного множества . ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . КОРНЕВАЯ СТРАНИЦА . ОГЛАВЛЕНИЕ . СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030149.html -- 1.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
588. Actor Prolog. Programming language definition.
Целевое утверждение (goal statement) - утверждение, с доказательства которого начинается исполнение программы . Целевой мир резидента (target world of resident) - один из миров , в которых резидент исполняет заданный вызов функции . ... Целевой процесс резидента (target process of resident) - один из процессов , состояние которых отслеживает резидент ; в состав целевого процесса входят некоторые целевые миры резидента . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030150.html -- 3.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
589. Actor Prolog. Programming language definition.
OS/2 Russian Coding (Alt) . ... появятся новые области применения логического программирования . ... Логическое программирование будет применяться для создания интеллектуальных агентов . Логическое программирование будет применяться для поиска и передачи информации в WWW . Логическое программирование будет применяться для управления распределенными системами реального времени . ... Логическое программирование будет применяться для управления виртуальной реальностью . ... The Actor Prolog . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/03010000.html -- 9.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
590. Автореферат диссертации А.А.Морозова
... Метод интерактивного функционального моделирования информационных систем и Акторный Пролог . ... Метод повторного доказательства подцелей логической программы, позволяющий интерпретировать в логическом языке интерактивный режим и разрушающее присваивание. ... Структурными семантическими моделями названы логические программы, описывающие каждый блок ФД информационной системы в виде некоторого объекта логического языка (точнее, экземпляра класса или "мира", в терминах Акторного Пролога). ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/05000000.html -- 61.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
591. My Ph.D. thesis.
. Alt . KOI8 . 1251 . ??? ?€? . Actor Prolog . ?ў?ўИЛ
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/09030300.html -- 2.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
592. Actor Prolog. Programming language definition.
... Разрушающее присваивание (destructive assignment) - В Акторном Прологе разрушающим присваиванием называется изменение производных значений общих переменных некоторого процесса , сопровождаемое нейтрализацией и повторным доказательством некоторых зависящих от них акторов . ... Расширенные цифры (extended digits) - цифры и буквы от "A" до "Z" (от "a" до "z"), используемые для определения числовых литералов с основанием. ... ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030144.html -- 4.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
593. Actor Prolog. Programming language definition.
. Число (number) - разновидность простого терма - числовой литерал , перед которым может стоять знак минус. Числовой литерал (numerical literal) - лексема , обозначающая числовое значение. Числовые литералы бывают целые и вещественные (плавающие). ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . КОРНЕВАЯ СТРАНИЦА . ОГЛАВЛЕНИЕ . СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030151.html -- 2.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
594. Actor Prolog. Programming language definition.
Экземпляр класса, мир (class instance, world) - конкретное применение класса ; составная часть пространства поиска исполняемой программы . Экземпляр класса характеризуется набором предложений соответствующего класса и его предков, а также набором слотов , доступных во всех этих предложениях . ... Элементарный программный модуль (basic program unit) - определение класса или определение проекта . Элемент данных (data item) - обозначенная группа данных, обрабатываемая как единое целое. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030157.html -- 3.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
595. Our report in Obninsk
Для программирования открытых информационных систем [1], отличительным признаком которых является принципиальная непредсказуемость результатов взаимодействия компонентов, представляется целесообразным использовать идеи и методы логического программирования, которое, в дополнение к обычной операционной семантике, поддерживает также декларативную семантику, инвариантную по отношению к возможному недетерминизму функционирования открытой системы. ... O2, NUML и другие), обеспечивающих такие возможности. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/04010000.html -- 11.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
596. Автореферат диссертации А.А.Морозова
... М.: МетаТехнология, 1993. - 240с. 2 Сбытов Н.Н., Трубицын А.В. Окно в новое измерение // Мир ПК. 1993. ... 3 См., например, Jacobson I., Christerson M., Jonsson P., Overgaard G. Object-Oriented Software Engineering. A Use Case Driven Approach. New York: ACM Press, 1994. - 528p. 4 См., например, Alexiev V. Mutable Object State for Object- Oriented Logic Programming: A Survey: Technical report TR93-15 / Dep. of Computing Science, University of Alberta. ... Back to Auto Abstract . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/05000100.html -- 4.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
597. Автореферат диссертации А.А.Морозова
... разделение И-дерева программы на акторы; . ... нейтрализация и повторное доказательство акторов. ... Таким образом, процесс доказательства каждого отдельного актора программы включает следующие фазы: . автономное доказательство актора; . ... нейтрализация акторов; . ... Если обнаруженные в процессе сопоставления локальных значений противоречия не удается устранить с помощью нейтрализации акторов, используется стандартный механизм отката, и программа возвращается на этап автономного доказательства. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/05010000.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
598. Actor Prolog. Programming language definition.
Связывание переменной (binding of variable) - замена всех вхождений переменной некоторой константой , составным термом или экземпляром класса . ... Согласование акторов (coordination of actors) - действия, осуществляемые для обеспечения согласованности акторов некоторого процесса - попытка согласовать локальные значения общих переменных акторов процесса . ... Соответствие переменной актору (correspondence between variable and some actor) - то же, что " использование переменной актором ". ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030145.html -- 22.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
599. Actor Prolog. Programming language definition.
... М., 1998. - 199с. ( http: // www.cplire.ru / Lab144 / thesis.pdf ) . ... Morozov A.A., Obukhov Yu.V. Development of the Methods and Tools for Mathematically Correct Logic Programming of Internet Agents // Pattern Recognition and Image Analysis. ... Morozov A.A. Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents / Catuscia Palamidessi (Ed.), Logic Programming: 19th International Conference, ICLP 2003 (Mumbai, India, December 9-13, 2003)...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/03000000.html -- 15.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
600. My report about the Actor Prolog
В настоящее время в логическом программировании можно выделить две тенденции, два подхода, которых часто придерживаются исследователи. ... Второй подход можно назвать "прагматическим". ... В результате было создано большое количество языков (например, Prolog++, LogTalk и др.), которые логическими уже не являются (так как их идеология, парадигма программирования существенным образом опираются на нелогические средства), но при этом "настоящими" объектно-ориентированными языками так и не стали. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/04020000.html -- 12.4 Кб -- 24.09.2007
Похожие документы
Похожие документы