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
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, S...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2000
Stránek
433
EAN
9783540676683
ISBN
3540676686
Enbook ID
01567459
Vydavatel
Hmotnost
649
Rozměry
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 zajímat

1 135

Believing in Cleveland

J. Mark Souther
2 399

These Strange New Minds

Christopher Summerfield
206

Anime

Rayna Denison
905

Evolution and Religion

Henry Ward Beecher
743

Kangaroo

D. H. LawrenceBruce Steele
1 317

Zákaznicí kteří koupili tuto knihu koupili také

No Code

Pearl Jam
917

Sahabeden 101 Hatira

Mehmet Yasar Kandemir
272