Algebraic Semantics of an Imperative Programming Language as a Compiler Abstract Model | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2004

Ключевые слова:

императивный

моделирование

алгебраический

семантика

спецификация

компилятор

состояние

Стр.:

P.113-128

Выпуск:

20

Библиография:

Bibliogr.: p.128

Место издания:

Серия:

Computer Science

Источник:

Joint Bull. of NCC and IIS

Карточка:

Б2.24.

Zamulin A. V..

Algebraic Semantics of an Imperative Programming Language as a Compiler Abstract Model-Novosibirsk, P..// Joint Bull. of NCC and IIS, 2004.-P.113-128-(Computer Science, Вып.20).
Bibliogr.: p.128

Таблица в старой библиотеке:

PAP29 435