n- исчисление – реалистичная формализация класса переписывающих систем

Предложен новый формализм типизированного η-исчисления в качестве теоретической основы для по-строения специальных классов систем программирования на основе переписывающих правил. Форма-лизм использует упорядоченные неконфлюэнтные множества правил переписывания и взаимодействие с программным окружен...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2011
Hauptverfasser: Шевченко, Р.С., Дорошенко, А.Е.
Format: Artikel
Sprache:Russian
Veröffentlicht: Інститут програмних систем НАН України 2011
Schlagworte:
Online Zugang:http://dspace.nbuv.gov.ua/handle/123456789/50957
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:n- исчисление – реалистичная формализация класса переписывающих систем / Р.С. Шевченко, А.Е. Дорошенко // Пробл. програмув. — 2011. — № 2. — С. 3-11. — Бібліогр.: 13 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine