Книга Static Analysis Jens Palsberg

Static Analysis

7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Автор: Jens Palsberg
Език: Английски език
Корици: С меки корици
Издател: Springer, Berlin
Наличност: Външен склад
Изпращаме след 5-8 дни
52.87 103.41 лв
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, S...

Информация за книгата

Автор
Език
Английски език
Корици
Книга - С меки корици
Издадена
2000
страници
433
EAN
9783540676683
ISBN
3540676686
Enbook ID
01567459
Издател
Теглоt
649
Размери
155 x 235 x 23

Пълно описание

This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000.§The 20 revised full papers presented were carefully reviewed and selected from 52 submissions. Also included are 2 invited full papers. All current aspects of high-performance implementation and verification of programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code optimization, termination, code specialization, and guided abstraction.

Може също да ви хареса

228.39 446.69 лв
73.28 143.32 лв
142.54 278.79 лв
7.48 14.64 лв
48.90 95.64 лв

Believing in Cleveland

J. Mark Souther
103.64 202.70 лв

These Strange New Minds

Christopher Summerfield
11.15 21.81 лв
18.69 36.56 лв
21.46 41.97 лв

Anime

Rayna Denison
35.43 69.30 лв
27.44 53.67 лв
21.46 41.97 лв

Evolution and Religion

Henry Ward Beecher
33.97 66.45 лв

Kangaroo

D. H. LawrenceBruce Steele
60.26 117.86 лв
105.50 206.33 лв

Клиенти, които купиха тази книга, купиха също

No Code

Pearl Jam
42.47 83.06 лв

Sahabeden 101 Hatira

Mehmet Yasar Kandemir
12.46 24.37 лв
13.16 25.75 лв