Construction of Verified Compiler Front-Ends with Program-Checking | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

программа

проверка

верификация

корректность

компилятор

Стр.:

P.370-377.

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

Bibliogr.: p.376-377

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

Источник:

Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf.

Карточка:

Б2.23, Б3.2.

Heberle A., Gaul T., Goerigk W., Goos G., Zimmermann W..

Construction of Verified Compiler Front-Ends with Program-Checking-Novosibirsk.// Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf., 1999.-P.370-377.
Bibliogr.: p.376-377

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

PAP19 740