An Exercise in Compiler Verification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

компилятор

верификация

денотационный

операционный

семантика

Стр.:

P.48-54.

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

Bibliogr.: p.54

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

Источник:

Kolloquium: Programmiersprachen und Grundlagen der Programmierung. Adalbert Stifter Haus, Alt Reichenau. 11-13 Oktober 1995

Номер:

MIP-9519

Карточка:

Б3.22, Б2.23, Б2.24.

Muller-Olm M..

An Exercise in Compiler Verification-Passau.// Kolloquium: Programmiersprachen und Grundlagen der Programmierung. Adalbert Stifter Haus, Alt Reichenau. 11-13 Oktober 1995, 1995, №MIP-9519.-P.48-54.
Bibliogr.: p.54

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

PAP14 878