Kniha Static Analysis Jens Palsberg

Static Analysis

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

Autor: Jens Palsberg
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.19
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, S...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2000
Stránok
433
EAN
9783540676683
ISBN
3540676686
Enbook ID
01567459
Vydavateľ
Hmotnosť
649
Rozmery
155 x 235 x 23

Kompletný popis

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.

Mohlo by vás zaujímať

7.06
46.95

Believing in Cleveland

J. Mark Souther
99.22

These Strange New Minds

Christopher Summerfield
8.54
17.77

Anime

Rayna Denison
37.42
20.33

Evolution and Religion

Henry Ward Beecher
32.31

Kangaroo

D. H. LawrenceBruce Steele
57.37

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

No Code

Pearl Jam
40.86

Sahabeden 101 Hatira

Mehmet Yasar Kandemir
11.88
13.15