Books > Computing & IT > Computer programming
|
Buy Now
Static Analysis - Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Paperback, 1996 ed.)
Loot Price: R1,627
Discovery Miles 16 270
|
|
Static Analysis - Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Paperback, 1996 ed.)
Series: Lecture Notes in Computer Science, 1145
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.