Proving Properties of Programs Defined Over Recursive Data Structures | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

программа

свойство

рекурсивный

структура

доказательство

Стр.:

P.88-99.

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

Bibliogr.: p.95-96

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

Издательство:

Источник:

Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation

Карточка:

Б2.23.

Le Metayer D..

Proving Properties of Programs Defined Over Recursive Data Structures-New York.: ACM Press// Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation, 1995.-P.88-99.
Bibliogr.: p.95-96

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

ACM5 206