Książka Static Analysis Jens Palsberg

Static Analysis

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

Autor: Jens Palsberg
Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, S...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2000
strony
433
EAN
9783540676683
ISBN
3540676686
Enbook ID
01567459
Waga
649
Wymiary
155 x 235 x 23

Pełny opis

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.

Możesz być zainteresowany

31.63
198.79

Believing in Cleveland

J. Mark Souther
420.28

These Strange New Minds

Christopher Summerfield
36.01
82.55

Anime

Rayna Denison
158.58
108.93
80.02

Evolution and Religion

Henry Ward Beecher
130.16

Kangaroo

D. H. LawrenceBruce Steele
230.73

Klienci, którzy kupili tę książkę, kupili również

No Code

Pearl Jam
172.80

Sahabeden 101 Hatira

Mehmet Yasar Kandemir
50.13
55.77