The Non-Deterministic Strategy of Rewriting
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
The Non-Deterministic Strategy of Rewriting
|
|
| Creator |
Letichevsky, A.A.
Letichevskyi, O.A. Peschanenko, V.S. |
|
| Subject |
Информационные технологии и системы
|
|
| 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. Описано систему алгебраїчного програмування – першу систему переписування термів, яка розділила системи правил перепи- сування і стратегії, та систему інсерційного моделювання – базову для системи верифікації формальних специфікацій |
|
| Date |
2015-06-16T20:18:19Z
2015-06-16T20:18:19Z 2013 |
|
| Type |
Article
|
|
| Identifier |
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 |
|
| Language |
en
|
|
| Relation |
Управляющие системы и машины
|
|
| Publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
|
|