Könyv Static Analysis Jens Palsberg

Static Analysis

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

Szerző: Jens Palsberg
Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, S...

Információk a könyvről

Szerző
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2000
oldal
433
EAN
9783540676683
ISBN
3540676686
Enbook ID
01567459
Súly
649
Méretek
155 x 235 x 23

Teljes leírás

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.

Érdekelheti

2 914 Ft
16 633 Ft

Believing in Cleveland

J. Mark Souther
35 184 Ft

These Strange New Minds

Christopher Summerfield
3 013 Ft
7 366 Ft

Anime

Rayna Denison
13 266 Ft
7 366 Ft

Evolution and Religion

Henry Ward Beecher
12 028 Ft

Kangaroo

D. H. LawrenceBruce Steele
21 327 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

No Code

Pearl Jam
15 480 Ft

Sahabeden 101 Hatira

Mehmet Yasar Kandemir
4 550 Ft