Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form

Вы здесь

Автор:

Cousot P.

Cousot R.

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

Вид:

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

Год:

1995

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

семантика

язык

Стр.:

P.293-308.

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

Bibliogr.: p.308.

Источник:

Lecture Notes in Computer Science

Том:

939

Карточка:

Б2.24.

Cousot P., Cousot R..

Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form// Lecture Notes in Computer Science-1995.-Vol. 939.-P.293-308.
Bibliogr.: p.308.

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

PAP12 419