Local Reasoning about a Copying Garbage Collector

Вы здесь

Автор:

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

Вид:

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

Год:

2004

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

Стр.:

P.220-231

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

Appendix: p.230-231

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

Источник:

Карточка:

Б2.24.

Birkedal L., Torp-Smith N., Reynolds J. C..

Local Reasoning about a Copying Garbage Collector-Нью-Йорк.// POPL 2004, 2004.-P.220-231
Appendix: p.230-231

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

PAP28 821