Representing Proof Transformations for Program Optimization | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1994

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

программа

разработка

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

трансформация

верификация

оптимизация

рекурсия

Стр.:

21 p.

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

Bibliogr.: p.18-21.

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

Номер:

2229

Карточка:

Б3.22, Б3.21, Б2.2.

Anderson P..

Representing Proof Transformations for Program Optimization-Rocquencourt., 1994.-21 p.-(Препринт INRIA №2229).
Bibliogr.: p.18-21.

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

PREP2 99