Code: 01567459

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 01567459
Price: 51.72 EUR
Availability: InStock
Author: Jens Palsberg
ISBN: 9783540676683

by Jens Palsberg

Language: English
Binding: Paperback
Number of pages: 433
Publisher: Springer, Berlin, 2000
More about this

51.72 €

RRP: 56.01 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Vagabond (VIZBIG Edition), Vol. 7
18.31 € -24 %
Buy
Vagabond (VIZBIG Edition), Vol. 6
20.95 € -14 %
Buy
Anime
38.26 € -5 %
Buy
Epic Athletes: Patrick Mahomes
7.48 € -28 %
Buy
La guerre de Secession. L'Union dechiree
13.56 € -5 %
Buy
No Code
42.11 € -28 %
Buy
Roman Britain and the Roman Navy
26.51 € -24 %
Buy
Nineteenth-Century Media and the Construction of Identities
109.43 €
Buy
Kangaroo
59.11 €
Buy
Fazal Sheik: Human Archipelago
48.38 €
Buy
Fortunatus the Pessimist. a Poem. Second Edition.
18.11 € -24 %
Buy
Trilateral Commission and Global Governance
224.85 €
Buy
Computer-Aided Scheduling of Public Transport
103.05 € -7 %
Buy
Evolution and Religion
33.30 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

51.72 €

Full title: Static Analysis
Subtitle: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
Author: Jens Palsberg
Language: English
Binding: Paperback
Number of pages: 433
EAN: 9783540676683
ISBN: 3540676686
ID: 01567459
Publisher: Springer, Berlin
Weight: 649 g
Dimensions: 235 × 155 × 23 mm
Published: 2000