The Non-Deterministic Strategy of Rewriting

The Non-Deterministic Strategy of Rewriting

Letichevsky, A.A. ; Letichevskyi, O.A. ; Peschanenko, V.S.

Інші назви: Недетермінована стратегія переписування
Недетерминированная стратегия переписывания

Тема: Информационные технологии и системы

УДК: 004.41,004.51

URI: http://dspace.nbuv.gov.ua/handle/123456789/83220

Посилання: The Non-Deterministic Strategy of Rewriting / A.A. Letichevsky, O.A. Letichevskyi, V.S. Peschanenko // Управляющие системы и машины. — 2013. — № 6. — С. 53-58. — Бібліогр.: 15 назв. — англ.

Дата: 2013

Завантажень: 356

The Non-Deterministic Strategy of Rewriting

Анотація:

Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций.

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.

Описано систему алгебраїчного програмування – першу систему переписування термів, яка розділила системи правил перепи- сування і стратегії, та систему інсерційного моделювання – базову для системи верифікації формальних специфікацій

Показати повний запис статті