Carte Static Analysis Jens Palsberg

Static Analysis

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

Autor: Jens Palsberg
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
275.89 lei
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, S...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2000
Pagini
433
EAN
9783540676683
ISBN
3540676686
Enbook ID
01567459
Greutate
649
Dimensiuni
155 x 235 x 23

Descriere completă

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.

S-ar putea să te intereseze

41.43 lei
245.31 lei

Believing in Cleveland

J. Mark Souther
515.67 lei

These Strange New Minds

Christopher Summerfield
55.91 lei
107.81 lei

Anime

Rayna Denison
187.88 lei
143.02 lei
107.81 lei

Evolution and Religion

Henry Ward Beecher
168.77 lei

Kangaroo

D. H. LawrenceBruce Steele
299.32 lei

Clienții care au cumpărat această carte au mai cumpărat și

No Code

Pearl Jam
221.37 lei

Sahabeden 101 Hatira

Mehmet Yasar Kandemir
64.97 lei
72.91 lei