Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings by Giorgio LeviStatic Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings by Giorgio Levi

Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998…

EditorGiorgio Levi

Paperback

Pricing and Purchase Info

$125.55 online 
$141.95 list price save 11%
Earn 628 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the refereed proceedings of the 5th International Symposium on Static Analysis, SAS'98, held in Pisa, Italy, in September 1998.The 20 revised full papers presented were carefully reviewed and selected from a total of 48 submissions. Also included is an invited tutorial. The papers are organized in topical sections on data-flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference, and optimization. The invited tutorial by David Schmidt and Bernhard Steffen is entitled "data-flow analysis as model checking of abstract interpretations".
Title:Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998…Format:PaperbackDimensions:404 pages, 9.25 × 6.1 × 0 in

The following ISBNs are associated with this title:

ISBN - 10:3540650148

ISBN - 13:9783540650140

Look for similar items by category:

Reviews