|
Труды СПИИРАН, 2013, выпуск 25, страницы 255–276
(Mi trspy560)
|
|
|
|
На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов
И. С. Ануреев Институт систем информатики им. А. П. Ершова
СО РАН
Аннотация:
Предлагается формализм для описания помеченных систем переходов, который унифицируют формат состояний системы переходов, формат инструкций компьютерных языков, представляемых метками системы переходов, и формат и семантику правил перехода и, тем самым, делает процесс разработки операционной семантики компьютерных языков более технологичным.
Ключевые слова:
операционная семантика, помеченные системы переходов.
Поступила в редакцию: 04.12.2012
Образец цитирования:
И. С. Ануреев, “На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов”, Тр. СПИИРАН, 25 (2013), 255–276
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/trspy560 https://www.mathnet.ru/rus/trspy/v25/p255
|
Статистика просмотров: |
Страница аннотации: | 144 | PDF полного текста: | 49 | Список литературы: | 42 | Первая страница: | 1 |
|