Static Analysis: Third International Symposium, SAS '96, Aachen,...

Buy Static Analysis: Third International Symposium, SAS '96, Aachen,... here, one of many Computer Performance Optimization books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > Computer Performance Optimization > Item 421

	Static Analysis: Third International Symposium, SAS '96, Aachen,...
	by Radhia Cousot and David A. Schmidt Sales Rank: 6222282	$74.95 At Amazon on 6-26-2008.

*Features* Cover Type: Paperback with 389 pages Published by: Springer Edition: 1st Edition September 30, 1996 Written in: English ISBN 10 Number: 3540617396 ISBN 13 Number: 978-3540617396 Book Dimensions: 9.4 x 6.2 x 0.8 inches Weighs: 15.2 ounces *Book Description* This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP. The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming. Back To Top
Static Analysis: Third International Symposium, SAS '96, Aachen,... ~~List Price: $74.95~~ Available from Amazon Price: $74.95 Updated on 6-26-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Static Analysis: Third International Symposium, SAS '96, Aachen,... and other related Computer Performance Optimization Books here at Rbookshop.com. To view more books about Computer Performance Optimization please use the previous and next buttons near the top of this page.