The Non-Deterministic Strategy of Rewriting
Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций. The Algebraic Programming System is described – the first term rewri...
Збережено в:
| Опубліковано в: : | Управляющие системы и машины |
|---|---|
| Дата: | 2013 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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 |
nasplib_isofts_kiev_ua-123456789-83220 |
|---|---|
| record_format |
dspace |
| spelling |
Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. 2015-06-16T20:18:19Z 2015-06-16T20:18:19Z 2013 The Non-Deterministic Strategy of Rewriting / A.A. Letichevsky, O.A. Letichevskyi, V.S. Peschanenko // Управляющие системы и машины. — 2013. — № 6. — С. 53-58. — Бібліогр.: 15 назв. — англ. 0130-5395 https://nasplib.isofts.kiev.ua/handle/123456789/83220 004.41,004.51 Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций. 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. Описано систему алгебраїчного програмування – першу систему переписування термів, яка розділила системи правил перепи- сування і стратегії, та систему інсерційного моделювання – базову для системи верифікації формальних специфікацій en Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управляющие системы и машины Информационные технологии и системы The Non-Deterministic Strategy of Rewriting Недетермінована стратегія переписування Недетерминированная стратегия переписывания Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
The Non-Deterministic Strategy of Rewriting |
| spellingShingle |
The Non-Deterministic Strategy of Rewriting Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. Информационные технологии и системы |
| 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 |
| author |
Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. |
| author_facet |
Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. |
| topic |
Информационные технологии и системы |
| topic_facet |
Информационные технологии и системы |
| publishDate |
2013 |
| language |
English |
| container_title |
Управляющие системы и машины |
| publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| format |
Article |
| title_alt |
Недетермінована стратегія переписування Недетерминированная стратегия переписывания |
| description |
Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций.
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.
Описано систему алгебраїчного програмування – першу систему переписування термів, яка розділила системи правил перепи- сування і стратегії, та систему інсерційного моделювання – базову для системи верифікації формальних специфікацій
|
| issn |
0130-5395 |
| url |
https://nasplib.isofts.kiev.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 назв. — англ. |
| work_keys_str_mv |
AT letichevskyaa thenondeterministicstrategyofrewriting AT letichevskyioa thenondeterministicstrategyofrewriting AT peschanenkovs thenondeterministicstrategyofrewriting AT letichevskyaa nedetermínovanastrategíâperepisuvannâ AT letichevskyioa nedetermínovanastrategíâperepisuvannâ AT peschanenkovs nedetermínovanastrategíâperepisuvannâ AT letichevskyaa nedeterminirovannaâstrategiâperepisyvaniâ AT letichevskyioa nedeterminirovannaâstrategiâperepisyvaniâ AT peschanenkovs nedeterminirovannaâstrategiâperepisyvaniâ AT letichevskyaa nondeterministicstrategyofrewriting AT letichevskyioa nondeterministicstrategyofrewriting AT peschanenkovs nondeterministicstrategyofrewriting |
| first_indexed |
2025-11-28T13:04:20Z |
| last_indexed |
2025-11-28T13:04:20Z |
| _version_ |
1850853715064389632 |