Simple Relational Correctness Proofs for Static Analyses and Program Transformations | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

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

Год:

2004

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

программа

оптимизация

компиляция

семантика

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

Стр.:

P.14-25

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

Appendix: p.24-25

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

Нью-Йорк

Где проводился:

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

ACM Order Department

Источник:

Карточка:

Б2.24, Б2.23, Б3.22.

Benton N..

Simple Relational Correctness Proofs for Static Analyses and Program Transformations-Нью-Йорк.: ACM Order Department// POPL 2004, 2004.-P.14-25
Appendix: p.24-25

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

PAP28 808