Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 1181 - 1200 из 2154.
Упорядочить по:
URL
|
дате изменения
1181. Actor Prolog. Programming language definition.
... Передача сообщения (message passing) - последовательность действий, реализующая распространение информации из одного процесса в другие. ... Перекрытие инициализаторов (overriding of initializers) - осуществляется в ходе построения слотов экземпляра класса во время исполнения простого конструктора экземпляра класса - замена инициализаторов слотов в определении атрибутов класса другими инициализаторами , заданными в конструкторе или в классах , являющихся потомками рассматриваемого. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030143.html -- 29.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
1182. Actor Prolog. Programming language definition.
... Разрушающее присваивание (destructive assignment) - В Акторном Прологе разрушающим присваиванием называется изменение производных значений общих переменных некоторого процесса , сопровождаемое нейтрализацией и повторным доказательством некоторых зависящих от них акторов . ... Расширенные цифры (extended digits) - цифры и буквы от "A" до "Z" (от "a" до "z"), используемые для определения числовых литералов с основанием. ... ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030144.html -- 4.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
1183. Actor Prolog. Programming language definition.
Связывание переменной (binding of variable) - замена всех вхождений переменной некоторой константой , составным термом или экземпляром класса . ... Согласование акторов (coordination of actors) - действия, осуществляемые для обеспечения согласованности акторов некоторого процесса - попытка согласовать локальные значения общих переменных акторов процесса . ... Соответствие переменной актору (correspondence between variable and some actor) - то же, что " использование переменной актором ". ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030145.html -- 22.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
1184. Actor Prolog. Programming language definition.
Текущее значение порта (current value of port) - некоторый вспомогательный терм , поставленный в соответствие порту . Терм (term) - синтаксическая конструкция, обозначающая элемент данных или экземпляр класса . Различаются простые термы , составные термы , а также вызовы функций в предложениях . Точка выбора (backtrack point) - неисследованный путь, по которому может пойти исполнение программы в случае отката . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030146.html -- 2.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
1185. Actor Prolog. Programming language definition.
Унификация (unification) - операция сравнения (отождествления) нескольких формул, связывающая переменные в составе формул сопоставленными с ними подформулами. ... Унифицировать, ' == ' (unify) - предопределенный предикат языка, вызывающий унификацию заданных аргументов . ... Управляющий символ (control character) - элемент набора символов ASCII - возврат на одну позицию, горизонтальная табуляция, перевод строки, вертикальная табуляция, перевод формата или возврат каретки. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030147.html -- 3.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
1186. Actor Prolog. Programming language definition.
Фаза исполнения процесса (phase of execution of process) - законченный период исполнения процесса , соответствующий обработке процессом некоторого сообщения или изменению состояния процесса . После успешного окончания фазы исполнения процесса осуществляется фиксирование процесса . Факт (fact) - предложение , в составе которого отсутствуют подцели . ... Фиксирование терма (fixation of term) - заменена спейсером # всех несвязанных переменных в составе терма . ... 2) Определение портов процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030148.html -- 7.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
1187. Actor Prolog. Programming language definition.
. Хвост (tail) - остаток списка или недоопределенного множества . ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . КОРНЕВАЯ СТРАНИЦА . ОГЛАВЛЕНИЕ . СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030149.html -- 1.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
1188. Actor Prolog. Programming language definition.
Целевое утверждение (goal statement) - утверждение, с доказательства которого начинается исполнение программы . Целевой мир резидента (target world of resident) - один из миров , в которых резидент исполняет заданный вызов функции . ... Целевой процесс резидента (target process of resident) - один из процессов , состояние которых отслеживает резидент ; в состав целевого процесса входят некоторые целевые миры резидента . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030150.html -- 3.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
1189. Actor Prolog. Programming language definition.
. Число (number) - разновидность простого терма - числовой литерал , перед которым может стоять знак минус. Числовой литерал (numerical literal) - лексема , обозначающая числовое значение. Числовые литералы бывают целые и вещественные (плавающие). ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . КОРНЕВАЯ СТРАНИЦА . ОГЛАВЛЕНИЕ . СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030151.html -- 2.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
1190. Actor Prolog. Programming language definition.
Экземпляр класса, мир (class instance, world) - конкретное применение класса ; составная часть пространства поиска исполняемой программы . Экземпляр класса характеризуется набором предложений соответствующего класса и его предков, а также набором слотов , доступных во всех этих предложениях . ... Элементарный программный модуль (basic program unit) - определение класса или определение проекта . Элемент данных (data item) - обозначенная группа данных, обрабатываемая как единое целое. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030157.html -- 3.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
1191. 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/1251/03000000.html -- 15.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
1192. 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/1251/03000100.html -- 17.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
1193. Actor Prolog. Programming language definition.
OS/2 Russian Coding (Alt) . ... появятся новые области применения логического программирования . ... Логическое программирование будет применяться для создания интеллектуальных агентов . Логическое программирование будет применяться для поиска и передачи информации в WWW . Логическое программирование будет применяться для управления распределенными системами реального времени . ... Логическое программирование будет применяться для управления виртуальной реальностью . ... The Actor Prolog . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/03010000.html -- 9.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
1194. Our report in Obninsk
Для программирования открытых информационных систем [1], отличительным признаком которых является принципиальная непредсказуемость результатов взаимодействия компонентов, представляется целесообразным использовать идеи и методы логического программирования, которое, в дополнение к обычной операционной семантике, поддерживает также декларативную семантику, инвариантную по отношению к возможному недетерминизму функционирования открытой системы. ... O2, NUML и другие), обеспечивающих такие возможности. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/04010000.html -- 11.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
1195. My report about the Actor Prolog
В настоящее время в логическом программировании можно выделить две тенденции, два подхода, которых часто придерживаются исследователи. ... Второй подход можно назвать "прагматическим". ... В результате было создано большое количество языков (например, Prolog++, LogTalk и др.), которые логическими уже не являются (так как их идеология, парадигма программирования существенным образом опираются на нелогические средства), но при этом "настоящими" объектно-ориентированными языками так и не стали. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/04020000.html -- 12.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
1196. РАПРОС '97
СЕМАНТИЧЕСКИЙ АНАЛИЗ ФУНКЦИОНАЛЬНЫХ ДИАГРАММ ИНФОРМАЦИОННЫХ СИСТЕМ СРЕДСТВАМИ ОБЪЕКТНО-ОРИЕНТИРОВАННОГО ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ . ... В докладе рассказывается о разработке средств объектно-ориентированного логического программирования для семантического анализа функциональных диаграмм при интерактивном проектировании информационных систем. Функциональные диаграммы - это графические изображения проектируемых систем, состоящие из функциональных блоков и соединяющих их дуг. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/04030000.html -- 14.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
1197. Автореферат диссертации А.А.Морозова
... Метод интерактивного функционального моделирования информационных систем и Акторный Пролог . ... Метод повторного доказательства подцелей логической программы, позволяющий интерпретировать в логическом языке интерактивный режим и разрушающее присваивание. ... Структурными семантическими моделями названы логические программы, описывающие каждый блок ФД информационной системы в виде некоторого объекта логического языка (точнее, экземпляра класса или "мира", в терминах Акторного Пролога). ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/05000000.html -- 61.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
1198. Actor Prolog. Programming language definition.
... Алфавит языка . ... Списки . ... Классы . ... Атрибуты классов . ... Экземпляры классов . ... Исполнение конструкторов . ... Предложения классов . ... Исполнение вызова предиката . ... Исполнение предложения . ... Механизм задержки исполнения . ... Исполнение повторных доказательств . ... Приложение 1. ... Синтаксические правила языка . ... Список понятий языка . ... В настоящее время работа над определением языка продолжается (см. список исправлений и примечаний к определению языка ). ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/00000000.html -- 9.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
1199. Автореферат диссертации А.А.Морозова
... М.: МетаТехнология, 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/1251/05000100.html -- 4.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
1200. Автореферат диссертации А.А.Морозова
... разделение И-дерева программы на акторы; . ... нейтрализация и повторное доказательство акторов. ... Таким образом, процесс доказательства каждого отдельного актора программы включает следующие фазы: . автономное доказательство актора; . ... нейтрализация акторов; . ... Если обнаруженные в процессе сопоставления локальных значений противоречия не удается устранить с помощью нейтрализации акторов, используется стандартный механизм отката, и программа возвращается на этап автономного доказательства. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/05010000.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы