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
216.67
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

32.27
202.08

Believing in Cleveland

J. Mark Souther
426.70

These Strange New Minds

Christopher Summerfield
46.07
87.38

Anime

Rayna Denison
152.92
111.11
87.38

Evolution and Religion

Henry Ward Beecher
132.76

Kangaroo

D. H. LawrenceBruce Steele
235.34

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

No Code

Pearl Jam
170.70

Sahabeden 101 Hatira

Mehmet Yasar Kandemir
50.93
56.89