Головна сторiнка
eng
Наукова бібліотека ім. М. Максимовича UNDP in Ukraine
Увага! Відтепер можна отримати пластиковий читацький квиток також за адресою:
проспект академіка Глушкова 2, кім. 217.

Подробиці читайте тут.
Список містить (0 документів)
Ваше замовлення (0 книжок)
Перегляд стану та історії замовлень
Допомога

Назад Новий пошук

Опис документа:

Автор: Парфірова Т.С.
Назва: Про зведення послідовно-паралельних композиційних програм до чисто послідовного виду
Видавництво: ВПЦ "Київський університет"
Рік:
Сторінок: С. 132-137
Тип документу: Стаття
Головний документ: Вісник Київського національного університету імені Тараса Шевченка
Анотація:   Показано, що в композиційному програмуванні семантичні структури програм, що містять як послідовне так і паралельне виконання операторів з подальшим злиттям, можна перетворити в еквівалентні за поведінкою чисто послідовні програми. Чисто послідовна програма може бути побудована з даних операторів за допомогою формальної процедури, для якої потрібно лише знання вхідних і вихідних інтерфейсів, але не їх семантики.
   Ключові слова: композиція, послідовно-паралельна програма, чисто послідовна програма.
   It is shown that semantic structures of programs that contain both sequential and parallel combinations of statements with further merging, in compositional programming, could be transformed to behaviorally equivalent entirely sequential programs. This entirely sequential program could be built by a formal procedure that only needs to know input and output interfaces of statements but not their semantics.
   Key Words: composition, sequential-parallel program, entirely sequential program.



Пошук: заповніть хоча б одне з полів


Шукати серед складових частин документу "Вісник Київського національного університету імені Тараса Шевченка"
Розділ:
Назва:
Будь ласка, пишіть 2-3 слова з назви БЕЗ ЗАКІНЧЕНЬ!
Так імовірніше знайти потрібний документ!
слова не коротші ніж 3 символів, розділені пробілами
Автор:
Будь ласка, пишіть прізвище автора без ініціалів!
не коротше ніж 2 символи
є повний текст
Рік видання:
Видавництво:
з     по  
Види документів:
 Книга  Брошура  Конволют (штучно створена збірка)  Рідкісне видання
 Автореферат  Дисертація
 Журнал  Газета
 Стаття  Складова частина документа
Новий тематичний пошук
       
      
        
Цей сайт створено за спiльною програмою UNDP та
Київського нацiонального унiверситету iменi Тараса Шевченка
проект УКР/99/005

© 2000-2010 yawd, irishka, levsha, alex