The Non-Deterministic Strategy of Rewriting
Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций....
Збережено в:
| Дата: | 2013 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2013
|
| Назва видання: | Управляющие системы и машины |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/83220 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | The Non-Deterministic Strategy of Rewriting / A.A. Letichevsky, O.A. Letichevskyi, V.S. Peschanenko // Управляющие системы и машины. — 2013. — № 6. — С. 53-58. — Бібліогр.: 15 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-83220 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-832202015-06-17T03:01:53Z The Non-Deterministic Strategy of Rewriting Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. Информационные технологии и системы Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций. The Algebraic Programming System is described – the first term rewriting system, which uses the rewriting rules system and strategies separately and to Insertion Modeling System IMS – a basic system for the Verification of a Formal Specification system. Описано систему алгебраїчного програмування – першу систему переписування термів, яка розділила системи правил перепи- сування і стратегії, та систему інсерційного моделювання – базову для системи верифікації формальних специфікацій 2013 Article The Non-Deterministic Strategy of Rewriting / A.A. Letichevsky, O.A. Letichevskyi, V.S. Peschanenko // Управляющие системы и машины. — 2013. — № 6. — С. 53-58. — Бібліогр.: 15 назв. — англ. 0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83220 004.41,004.51 en Управляющие системы и машины Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| topic |
Информационные технологии и системы Информационные технологии и системы |
| spellingShingle |
Информационные технологии и системы Информационные технологии и системы Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. The Non-Deterministic Strategy of Rewriting Управляющие системы и машины |
| description |
Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций. |
| format |
Article |
| author |
Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. |
| author_facet |
Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. |
| author_sort |
Letichevsky, A.A. |
| title |
The Non-Deterministic Strategy of Rewriting |
| title_short |
The Non-Deterministic Strategy of Rewriting |
| title_full |
The Non-Deterministic Strategy of Rewriting |
| title_fullStr |
The Non-Deterministic Strategy of Rewriting |
| title_full_unstemmed |
The Non-Deterministic Strategy of Rewriting |
| title_sort |
non-deterministic strategy of rewriting |
| publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| publishDate |
2013 |
| topic_facet |
Информационные технологии и системы |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/83220 |
| citation_txt |
The Non-Deterministic Strategy of Rewriting / A.A. Letichevsky, O.A. Letichevskyi, V.S. Peschanenko // Управляющие системы и машины. — 2013. — № 6. — С. 53-58. — Бібліогр.: 15 назв. — англ. |
| series |
Управляющие системы и машины |
| work_keys_str_mv |
AT letichevskyaa thenondeterministicstrategyofrewriting AT letichevskyioa thenondeterministicstrategyofrewriting AT peschanenkovs thenondeterministicstrategyofrewriting AT letichevskyaa nondeterministicstrategyofrewriting AT letichevskyioa nondeterministicstrategyofrewriting AT peschanenkovs nondeterministicstrategyofrewriting |
| first_indexed |
2023-10-18T19:26:19Z |
| last_indexed |
2023-10-18T19:26:19Z |
| _version_ |
1796146953427353600 |