The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property

Вы здесь

Автор:

Nakano H.

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

Вид:

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

Год:

1994

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

язык программирования

тип

система

Стр.:

P.61-72.

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

Bibliogr.: p.72.

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

Springer

Источник:

Lecture Notes in Computer Science

Том:

792

Карточка:

Б2.33.

Nakano H..

The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property: Springer// Lecture Notes in Computer Science-1994.-Vol. 792.-P.61-72.
Bibliogr.: p.72.

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

PAP8 471