Proofs of Partial Correctness for Attribute Grammars and Recursive Procedures

Вы здесь

Автор:

Courcelle B.

Deransart P.

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

Колл. автор:

INRIA

Вид:

Препринт

Год:

1984

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

грамматика

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

Стр.:

84 p.

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

Bibliogr.: p.82-84

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

Le Chesnay

Источник:

Lecture Notes in Computer Science

Номер:

322

Том:

2318

Карточка:

Б2.31.

Courcelle B., Deransart P..

Proofs of Partial Correctness for Attribute Grammars and Recursive Procedures-Le Chesnay., 1984.-Vol. 2318.-84 p.-(Препринт INRIA №322).
Bibliogr.: p.82-84

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

PREP2 880