Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Static Analysis

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

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

Jens Palsberg

Language

English

Book Paperback

Libristo code: 01567459

Publishers Springer, Berlin, November 1999

This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, S... Full description

Libristo code: 01567459

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

No Code Pearl Jam Audio

Audio vinyl

44.49 €

Sahabeden 101 Hatira Mehmet Yasar Kandemir

Paperback

12.69 €

La guerre de Secession. L'Union dechiree Romain Parmentier

Paperback

14.19 €

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.