TY - JOUR AU - Игорь Сергеевич Ануреев PY - 2013/04/01 Y2 - 2024/03/28 TI - На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов JF - Труды СПИИРАН JA - ТС VL - 2 IS - 25 SE - Статьи DO - 10.15622/sp.25.13 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1681 AB - Предлагается формализм для описания помеченных систем переходов, который унифицируют формат состояний системы переходов, формат инструкций компьютерных языков, представляемых метками системы переходов, и формат и семантику правил перехода и, тем самым, делает процесс разработки операционной семантики компьютерных языков более технологичным. ER -